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

print a banner

This commit is contained in:
Daniel Kroening 2014-06-30 08:33:52 +00:00
parent 1fb52a6857
commit 01ef99e80e
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -55,27 +55,32 @@ int hw_cbmc_parseoptionst::doit()
return 0; return 0;
} }
register_languages();
// //
// command line options // command line options
// //
optionst options; optionst options;
get_command_line_options(options); get_command_line_options(options);
if(cmdline.isset("vcd"))
options.set_option("vcd", cmdline.getval("vcd"));
hw_bmct bmc(options, symbol_table, ui_message_handler);
eval_verbosity(); eval_verbosity();
//
// Print a banner
//
status("HW-CBMC version " CBMC_VERSION);
register_languages();
if(cmdline.isset("preprocess")) if(cmdline.isset("preprocess"))
{ {
preprocessing(); preprocessing();
return 0; return 0;
} }
if(cmdline.isset("vcd"))
options.set_option("vcd", cmdline.getval("vcd"));
hw_bmct bmc(options, symbol_table, ui_message_handler);
goto_functionst goto_functions; goto_functionst goto_functions;
if(get_goto_program(options, bmc, goto_functions)) if(get_goto_program(options, bmc, goto_functions))