cprover

unit → ansi-c Relation

File in unitIncludes file in ansi-c
testing-utils / get_goto_model_from_c.cppansi_c_language.h