Extract unsigned value from options

NathanJPhillips · Jul 7, 2018 · a746a2c · a746a2c
1 parent 8187bdd
commit a746a2c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/cbmc/cbmc_solvers.cpp b/src/cbmc/cbmc_solvers.cpp
@@ -145,7 +145,8 @@ std::unique_ptr<cbmc_solverst::solvert> cbmc_solverst::get_string_refinement()
   info.refinement_bound=DEFAULT_MAX_NB_REFINEMENT;
   info.ui=ui;
   if(options.get_bool_option("string-max-length"))
-    info.max_string_length = options.get_signed_int_option("string-max-length");
+    info.max_string_length =
+      options.get_unsigned_int_option("string-max-length");
   info.trace=options.get_bool_option("trace");
   if(options.get_bool_option("max-node-refinement"))
     info.max_node_refinement=