projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e019c4b) | patch
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)
commitd1fab609e185bf89056da0f88030750d28bc9b32
treee3ed069e78ca11256cb520f930a93f023e15dfd7tree | snapshot
parente019c4b58edb829582d6a5689240b9e8e8908f05commit | diff
main: always ensure defaults when printing

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.
main.cc diff | blob | history
C++11 memory model checker