cprover

goto-cc → java_bytecode Relation

File in goto-ccIncludes file in java_bytecode
goto_cc_languages.cppjava_bytecode_language.h