projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: d1fab60)
main: always ensure defaults when printing
authorBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 01:14:19 +0000 (18:14 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 01:14:19 +0000 (18:14 -0700)
If one or more arguments have been parsed by the time we print a help
message, we may print the wrong defaults. Fix: always reset to defaults
before printing.


No differences found
C++11 memory model checker