cprover

testing-utils → ansi-c Relation

File in unit/testing-utilsIncludes file in ansi-c
get_goto_model_from_c.cppansi_c_language.h