projects / model-checker-benchmarks.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 688f4bd)
ms-queue: strip down test driver
authorBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 01:56:23 +0000 (17:56 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 8 Mar 2013 02:03:09 +0000 (18:03 -0800)
+ a few assertions


No differences found
C++11 memory model checker benchmarks