Commit state of repository at time of OOPSLA 2015 submission.

[satcheck.git] / benchmarks / satcheck-precompiled / dekker / benchmark-config.sh

NAME=dekker-fences
SIZES_SC="1 2 3 4 5 6 7 8 9 10 15 20 30"
SIZES_TSO="1 2 3 4 5 6 7 8 9 10 15 20 30 40"
RUN_FRONTEND=false
RUNTIME_FLAGS=-Y