4 for i in 1 2 3 4 5 6 7 8 9
7 cat msn_harness.c.in | sed s/PROBLEMSIZE/$i/ > msn_harness.c
8 c2lsl.exe msn_harness.c msn_harness.lsl
9 time checkfence -i -a memmodel=sc msn_harness.lsl tests.lsl >> runlog
11 time checkfence -a memmodel=sc msn_harness.lsl tests.lsl T0.prn >> runlog