Skip to content

Commit 09ed22c

Browse files
tautschnigtautschnig
committed
Revert "Tests for overflows in pointer arithmetic"
This reverts commit 28d478d. These tests are no longer applicable as the pointer encoding does not have artificial bounds on object numbers.
1 parent 54d4857 commit 09ed22c

File tree

4 files changed

+0
-162
lines changed

4 files changed

+0
-162
lines changed

‎regression/cbmc/address_space_size_limit2/test.c

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

‎regression/cbmc/address_space_size_limit2/test.desc

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

‎regression/cbmc/address_space_size_limit3/main.c

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

‎regression/cbmc/address_space_size_limit3/test.desc

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

0 commit comments

Comments
 (0)