cprover

goto-analyzer → ansi-c Relation

File in goto-analyzerIncludes file in ansi-c
goto_analyzer_parse_options.cppansi_c_language.h
goto_analyzer_parse_options.cppcprover_library.h