37 if(!it->second.is_inlined() ||
44 if(!i_it->is_assert())
void initialize_property_map(const goto_functionst &)
static std::string as_string(resultt)
static irep_idt entry_point()
Property Checker Interface.
property_mapt property_map
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
goto_programt::const_targett location
#define forall_goto_functions(it, functions)
const irep_idt & get_property_id() const
#define forall_goto_program_instructions(it, program)