Commit 3819295

Matthias Güdemann

authored

Merge pull request diffblue#1797 from thk123/bugfix/TG-1358/long-jumps

[TG-1358] Correct handling of two byte offsets

2 parents 0003d8a + dda54c7 commit 3819295Copy full SHA for 3819295

5 files changed

+32810

-5

lines changed

regression/cbmc-java/very-long-jumps
src/java_bytecode
- java_bytecode_convert_method.cpp
- java_bytecode_parser.cpp

5 files changed

+32810

-5

lines changed

`‎regression/cbmc-java/very-long-jumps/NopJumps.class`

32.1 KB

Binary file not shown.

Comments

(0)