cprover

xml_binaries → goto-programs Relation

File in goto-cc/xml_binariesIncludes file in goto-programs
read_goto_object.hgoto_functions.h
xml_goto_function.hgoto_functions.h
xml_goto_function_hashing.hgoto_functions.h
xml_goto_program.hgoto_program.h
xml_goto_program_hashing.hgoto_program.h