21 bool enable_assertions,
22 bool enable_built_in_assertions,
23 bool enable_assumptions)
25 bool did_something =
false;
29 if(instruction.is_assert())
31 bool is_user_provided =
32 instruction.source_location().get_bool(
"user-provided");
35 (is_user_provided && !enable_assertions &&
36 instruction.source_location().get_property_class() !=
"error label") ||
37 (!is_user_provided && !enable_built_in_assertions))
39 instruction.turn_into_skip();
43 else if(instruction.is_assume())
45 if(!enable_assumptions)
47 instruction.turn_into_skip();
void remove_skip(goto_programt &goto_program, goto_programt::targett begin, goto_programt::targett end)
remove unnecessary skip statements