Commit 25a1271

Daniel Kroening

committed

use BC_ macros instead of string comparison

This is less prone to error.

1 parent 77c02b6 commit 25a1271Copy full SHA for 25a1271

2 files changed

+85

-85

lines changed

jbmc/src/java_bytecode
- java_bytecode_convert_method.cpp
- java_bytecode_parser.cpp

2 files changed

+85

-85

lines changed

Comments

(0)