projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d38fde1) | patch
main: change default 'future delay' for promise expiration
authorBrian Norris <banorris@uci.edu>
Fri, 22 Mar 2013 01:05:04 +0000 (18:05 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 22 Mar 2013 01:05:04 +0000 (18:05 -0700)
commit039df16782babb6f960c65795413f85f533667ac
tree20f60673c7cb1d49e74ed114c3c9447867990f7ftree | snapshot
parentd38fde1f52b826ebb760236bdd5f23f69069ede9commit | diff
main: change default 'future delay' for promise expiration

From 100 to 10, since 100 is kind of absurd, given the current program
length scalability.
main.cc diff | blob | history
C++11 memory model checker