From a746a2c5cd99a68450931928584f66af3e1ed034 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 7 Jul 2018 10:22:00 +0100 Subject: [PATCH] Extract unsigned value from options --- src/cbmc/cbmc_solvers.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/cbmc/cbmc_solvers.cpp b/src/cbmc/cbmc_solvers.cpp index 3668295bf56..11a1ee7ef01 100644 --- a/src/cbmc/cbmc_solvers.cpp +++ b/src/cbmc/cbmc_solvers.cpp @@ -145,7 +145,8 @@ std::unique_ptr 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=