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