Skip to content

Commit fca8c4b

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 41b0f47 commit fca8c4b

File tree

6 files changed

+0
-41
lines changed

6 files changed

+0
-41
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 & 7 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)