Skip to content

Commit 7da990c

Browse files
Clean up set_properties helper method
set_properties has no return value.
1 parent 756f190 commit 7da990c

File tree

2 files changed

+2
-12
lines changed

2 files changed

+2
-12
lines changed

jbmc/src/jbmc/jbmc_parse_options.cpp

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -561,8 +561,8 @@ int jbmc_parse_optionst::doit()
561561

562562
goto_modelt &goto_model = *goto_model_ptr;
563563

564-
if(set_properties(goto_model))
565-
return 7; // should contemplate EX_USAGE from sysexits.h
564+
if(cmdline.isset("property"))
565+
::set_properties(goto_model, cmdline.get_values("property"));
566566

567567
if(
568568
options.get_bool_option("program-only") ||
@@ -721,14 +721,6 @@ int jbmc_parse_optionst::doit()
721721
}
722722
}
723723

724-
bool jbmc_parse_optionst::set_properties(goto_modelt &goto_model)
725-
{
726-
if(cmdline.isset("property"))
727-
::set_properties(goto_model, cmdline.get_values("property"));
728-
729-
return false;
730-
}
731-
732724
int jbmc_parse_optionst::get_goto_program(
733725
std::unique_ptr<goto_modelt> &goto_model,
734726
const optionst &options)

jbmc/src/jbmc/jbmc_parse_options.h

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -128,8 +128,6 @@ class jbmc_parse_optionst : public parse_options_baset
128128
std::unique_ptr<goto_modelt> &goto_model, const optionst &);
129129
bool show_loaded_functions(const abstract_goto_modelt &goto_model);
130130
bool show_loaded_symbols(const abstract_goto_modelt &goto_model);
131-
132-
bool set_properties(goto_modelt &goto_model);
133131
};
134132

135133
#endif // CPROVER_JBMC_JBMC_PARSE_OPTIONS_H

0 commit comments

Comments
 (0)