Skip to content

Commit b1adf88

Browse files
tautschnigtautschnig
committed
Revert "Add java address space limits tests"
This reverts commit d122cfb. These tests are no longer applicable as the pointer encoding does not have artificial bounds on object numbers.
1 parent 09ed22c commit b1adf88

File tree

6 files changed

+0
-39
lines changed

6 files changed

+0
-39
lines changed

‎regression/cbmc-java/address_space_size_limit1/Test.class

-640 Bytes
Binary file not shown.

‎regression/cbmc-java/address_space_size_limit1/Test.java

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎regression/cbmc-java/address_space_size_limit1/test.desc

Lines changed: 0 additions & 5 deletions
This file was deleted.

‎regression/cbmc-java/address_space_size_limit2/Test.class

-640 Bytes
Binary file not shown.

‎regression/cbmc-java/address_space_size_limit2/Test.java

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎regression/cbmc-java/address_space_size_limit2/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)