replica
/
diffblue-hw-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

avoid atoi

This commit is contained in:
Daniel Kroening 2014-03-23 13:07:13 +00:00
parent 3e29f7551a
commit 50b2ca9415
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/hw-cbmc/hw_cbmc_parseoptions.cpp
View File

@ -6,11 +6,11 @@ Author: Daniel Kroening, kroening@kroening.com
\*******************************************************************/
#include <cstdlib>
#include <iostream>
#include <util/config.h>
#include <util/get_module.h>
#include <util/string2int.h>
#include <goto-programs/show_properties.h>
#include <goto-programs/set_properties.h>
@ -135,7 +135,7 @@ bool hw_cbmc_parseoptionst::get_modules(bmct &bmc)
hw_bmct &hw_bmc=dynamic_cast<hw_bmct &>(bmc);
if(cmdline.isset("bound"))
hw_bmc.unwind_no_timeframes=atoi(cmdline.getval("bound"))+1;
hw_bmc.unwind_no_timeframes=safe_string2unsigned(cmdline.getval("bound"))+1;
else
hw_bmc.unwind_no_timeframes=1;