Merge pull request diffblue#220 from diffblue/issue194

chrisr-diffblue · web-flow · commit bd1c312d97e8 · 2018-07-16T14:38:38.000+01:00
Fix typo which made goto-analyzer ignore --unwindset
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -156,7 +156,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)
     options.set_option("functions-ignore", ignore);
     options.set_option("functions-full", full);
 
-    options.set_option("unwindset", cmdline.isset("--unwindset"));
+    options.set_option("unwindset", cmdline.isset("unwindset"));
   }
 
   // For backwards compatibility,

Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,7 @@ void goto_analyzer_parse_optionst::get_command_line_options(optionst &options)`
`156`	`156`	`options.set_option("functions-ignore", ignore);`
`157`	`157`	`options.set_option("functions-full", full);`
`158`	`158`
`159`		`- options.set_option("unwindset", cmdline.isset("--unwindset"));`
	`159`	`+ options.set_option("unwindset", cmdline.isset("unwindset"));`
`160`	`160`	`}`
`161`	`161`
`162`	`162`	`// For backwards compatibility,`