cprover

goto-cc → ansi-c Relation

File in goto-ccIncludes file in ansi-c
compile.cppansi_c_entry_point.h
compile.cppansi_c_language.h
goto_cc_languages.cppansi_c_language.h