cprover

goto-diff → ansi-c Relation

File in goto-diffIncludes file in ansi-c
goto_diff_languages.cppansi_c_language.h