cprover

java_bytecode → json Relation

File in jbmc/src/java_bytecodeIncludes file in json
java_bytecode_language.cppjson_parser.h
java_class_loader_limit.cppjson_parser.h
java_static_initializers.cppjson_parser.h