stack_depth takes a signed int as argument

tautschnig · tautschnig · commit 09165fbb6350 · 2018-06-23T19:14:09.000+01:00
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -1137,7 +1137,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()
     status() << "Adding check for maximum call stack size" << eom;
     stack_depth(
       goto_model,
-      unsafe_string2unsigned(cmdline.get_value("stack-depth")));
+      unsafe_string2int(cmdline.get_value("stack-depth")));
   }
 
   // ignore default/user-specified initialization of variables with static

Original file line number	Diff line number	Diff line change
`@@ -1137,7 +1137,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()`
`1137`	`1137`	`status() << "Adding check for maximum call stack size" << eom;`
`1138`	`1138`	`stack_depth(`
`1139`	`1139`	`goto_model,`
`1140`		`- unsafe_string2unsigned(cmdline.get_value("stack-depth")));`
	`1140`	`+ unsafe_string2int(cmdline.get_value("stack-depth")));`
`1141`	`1141`	`}`
`1142`	`1142`
`1143`	`1143`	`// ignore default/user-specified initialization of variables with static`