benchmarks/runsat

   1 #!/bin/bash
   2 DIR=`pwd`
   3 BENCHMARKS="dekker linuxlock linuxrwlock msqueueoffset seqlock"
   4
   5 for i in $BENCHMARKS
   6 do
   7 echo [SC SATCheck]: Running benchmark $i
   8 cd satcheck/$i
   9 echo satcheck > log
  10 echo $i >> log
  11 ./bench.sh
  12 cd $DIR
  13 done