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 / msqueueoffset / benchmark-config.sh
1 NAME=ms-queue-simple
2 SIZES_SC="1 2 3 4 5 6 7 8 9 10 11 12 13"
3 SIZES_TSO="1 2 3 4 5 6 7 8 9 10 11 12 13"
4 RUN_FRONTEND=true
5 RUNTIME_FLAGS=
SATCheck ModelChecker