projects / model-checker-benchmarks.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ff4cd01)
bench.sh: rewrite benchmark list to match paper
authorBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 18:29:53 +0000 (11:29 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 15 Mar 2013 18:29:53 +0000 (11:29 -0700)
Brian D. changed the benchmarks we run as well as the order. Let's
encode that in this script, so we can repeat the benchmarks
consistently.


No differences found
C++11 memory model checker benchmarks