benchmarks/checkfence/dekker/bench.sh

   1 #!/bin/bash
   2 source ../paths.sh
   3
   4 for i in 1 2 3 4 5 6 7 8 9 10
   5 do
   6 echo size=$i
   7 cat dekker-fences.c.in | sed s/PROBLEMSIZE/$i/ > dekker-fences.c
   8 c2lsl.exe dekker-fences.c dekker-fences.lsl
   9 time checkfence -i -a memmodel=sc dekker-fences.lsl dekkertests.lsl >> runlog
  10 echo With loop bounds
  11 time checkfence -a memmodel=sc dekker-fences.lsl dekkertests.lsl T0.prn >> runlog
  12 done
  13
  14