Merge branch 'master' into pldi13
authorBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 01:16:19 +0000 (18:16 -0700)
committerBrian Norris <banorris@uci.edu>
Sun, 4 Nov 2012 01:16:19 +0000 (18:16 -0700)
1  2 
main.cc

diff --combined main.cc
+++ b/main.cc
@@@ -23,6 -23,9 +23,9 @@@ static void param_defaults(struct model
  }
  
  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"
@@@ -72,10 -75,8 +75,10 @@@ static void parse_options(struct model_
                        break;
                }
        }
 -      (*argc) -= optind;
 -      (*argv) += optind;
 +      (*argv)[optind - 1] = (*argv)[0];
 +      (*argc) -= (optind - 1);
 +      (*argv) += (optind - 1);
 +      optind = 1;
  
        if (error)
                print_usage(params);