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)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Property Checker Interface.
property_mapt property_map
A generic container class for the GOTO intermediate representation of one function.
static irep_idt entry_point()
mstreamt & result() const
goto_programt & goto_program
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)