benchmarks/runtsosat

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