projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7d75d9) | patch
main: change default future value sloppiness
authorBrian Norris <banorris@uci.edu>
Wed, 7 Nov 2012 03:10:53 +0000 (19:10 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 7 Nov 2012 03:10:53 +0000 (19:10 -0800)
commit90ef0247c8d0cb26b78e66e553ec8097fd1b9f0d
tree5ac590f7db12f4220f12b2f4c5be0a7b69142a23tree | snapshot
parentb7d75d9910011868710667d9d2ae018a10aefea5commit | diff
main: change default future value sloppiness

Future value sloppiness should be set somewhat in proportion to
maxfuturedelay, and we need a value higher than 2. Set to 10 for now,
although we may change this later.
main.cc diff | blob | history
C++11 memory model checker