Merge remote-tracking branch 'peter/nondet-static-matching' into nondet-static-matching

Author: giulio-garbi

src/cbmc/cbmc_parse_options.cpp

@@ -222,6 +222,10 @@ void cbmc_parse_optionst::get_command_line_options(optionst &options)
   if(cmdline.isset("nondet-static"))
     options.set_option("nondet-static", true);
 
+  if(cmdline.isset("nondet-static-matching"))
+    options.set_option(
+      "nondet-static-matching", cmdline.get_value("nondet-static-matching"));
+
   if(cmdline.isset("no-simplify"))
     options.set_option("simplify", false);