cprover

java_bytecode → goto-symex Relation

File in jbmc/src/java_bytecodeIncludes file in goto-symex
java_enum_static_init_unwind_handler.hgoto_symex_state.h
java_multi_path_symex_checker.hbuild_goto_trace.h
java_single_path_symex_checker.hbuild_goto_trace.h