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