cprover

testing-utils → goto-programs Relation

File in unit/testing-utilsIncludes file in goto-programs
get_goto_model_from_c.cppgoto_convert_functions.h
get_goto_model_from_c.hgoto_model.h