Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / nidhugg / msqueue / 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
6 do
7 echo size= $i
8 java -cp .. transform $i ms-queue_simple.c.in ms-queue_simple.cc
9 time nidhuggc -O3 -std=c++11 -- -tso ./ms-queue_simple.cc
10 done