18 const std::string &filename,
41 const std::string &filename,
45 std::ifstream in(filename);
virtual bool parse() override
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
void set_file(const irep_idt &file)
virtual void set_message_handler(message_handlert &_message_handler)
virtual void clear() override
goto_programt coverage_criteriont message_handlert & message_handler