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

claims -> properties

This commit is contained in:
Daniel Kroening 2013-08-19 13:03:50 +00:00
parent 84ce7efa75
commit 62106487c1
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -12,8 +12,8 @@ Author: Daniel Kroening, kroening@kroening.com
#include <util/config.h>
#include <util/get_module.h>
#include <goto-programs/show_claims.h>
#include <goto-programs/set_claims.h>
#include <goto-programs/show_properties.h>
#include <goto-programs/set_properties.h>
#include <trans/show_modules.h>
#include <cbmc/version.h>
#include <langapi/mode.h>
@ -82,16 +82,16 @@ int hw_cbmc_parseoptionst::doit()
if(get_goto_program(options, bmc, goto_functions))
return 6;
label_claims(goto_functions);
label_properties(goto_functions);
if(cmdline.isset("show-claims"))
if(cmdline.isset("show-properties"))
{
const namespacet ns(symbol_table);
show_claims(ns, get_ui(), goto_functions);
show_properties(ns, get_ui(), goto_functions);
return 0;
}
if(set_claims(goto_functions))
if(set_properties(goto_functions))
return 7;
// do actual BMC