projects / model-checker-benchmarks.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 9f2a28f)
Fix all benchmarks to use yield
authorBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 07:10:19 +0000 (00:10 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 14 Mar 2013 07:10:19 +0000 (00:10 -0700)
All benchmarks now call thrd_yield when appropriate so that they terminate with the -y option.


No differences found
C++11 memory model checker benchmarks