diff options
Diffstat (limited to 'lib/tsan/check_analyze.sh')
-rwxr-xr-x | lib/tsan/check_analyze.sh | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/lib/tsan/check_analyze.sh b/lib/tsan/check_analyze.sh index dc47d6e01..a5d3632df 100755 --- a/lib/tsan/check_analyze.sh +++ b/lib/tsan/check_analyze.sh @@ -32,25 +32,13 @@ for f in write1; do check $f pop 2 done -for f in write2 write4; do - check $f rsp 1 - check $f push 4 - check $f pop 4 -done - -for f in write8; do +for f in write2 write4 write8; do check $f rsp 1 check $f push 3 check $f pop 3 done -for f in read1; do - check $f rsp 1 - check $f push 6 - check $f pop 6 -done - -for f in read2 read4 read8; do +for f in read1 read2 read4 read8; do check $f rsp 1 check $f push 5 check $f pop 5 |