From: Brian Norris <banorris@uci.edu>
Date: Sun, 4 Nov 2012 01:14:19 +0000 (-0700)
Subject: main: always ensure defaults when printing
X-Git-Tag: pldi2013~13^2
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=d1fab609e185bf89056da0f88030750d28bc9b32

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.
---

diff --git a/main.cc b/main.cc
index fc1b277..8a17a18 100644
--- a/main.cc
+++ b/main.cc
@@ -23,6 +23,9 @@ static void param_defaults(struct model_params * params) {
 }
 
 static void print_usage(struct model_params *params) {
+	/* Reset defaults before printing */
+	param_defaults(params);
+
 	printf(
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"