cprover

testing-utils → langapi Relation

File in unit/testing-utilsIncludes file in langapi
get_goto_model_from_c.cpplanguage_file.h
get_goto_model_from_c.cppmode.h