5 #for i in 1 2 3 4 5 6 7 8 9 10 15
7 #echo bias set to 0x100
9 #cat llock.c.in | sed s/PROBLEMSIZE/$i/ |sed s/TUNELOCK/0x100/ > llock.c
10 #c2lsl.exe add_harness.c add_harness.lsl
11 #time checkfence -i -a memmodel=sc add_harness.lsl locktests.lsl >> runlog
12 #echo Hard loop bounds
13 #time checkfence -a memmodel=sc add_harness.lsl locktests.lsl T0.prn >> runlog
17 for i in 1 2 3 4 5 6 7 8 9 10 15 20 30
21 cat llock.c.in | sed s/PROBLEMSIZE/$i/ |sed s/TUNELOCK/100/ > llock.c
22 c2lsl.exe add_harness.c add_harness.lsl
23 time checkfence -i -a memmodel=sc add_harness.lsl locktests.lsl >> runlog
25 time checkfence -a memmodel=sc add_harness.lsl locktests.lsl T0.prn >> runlog