projects / satcheck.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / benchmarks / satcheck / seqlock / benchmark-config.sh
1 NAME=seqlock
2 SIZES_SC="1 2 3 4 5 6 7 8 9 10 15 20 25 30 35 40 50 60"
3 SIZES_TSO="1 2 3 4 5 6 7 8 9 10 15 20 25 30 35 40 50 60"
4 RUN_FRONTEND=true
5 RUNTIME_FLAGS=-Y
SATCheck ModelChecker