Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / nidhugg / linuxlock / benchtso.sh
1 #!/bin/bash
2 source ../path.sh
3 export PATH=$PATH:$NIDHUGG/bin/
4
5 for i in 1 2 3 4 5 6 7 8 9
6 do
7 echo size= $i
8 java -cp .. transform $i linuxlocks.c.in linuxlocks.cc
9 time nidhuggc -O3 -std=c++11 -- -tso ./linuxlocks.cc
10 done