Skip to content

Commit 41b0f47

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

File tree

4 files changed

+0
-163
lines changed

4 files changed

+0
-163
lines changed

‎regression/cbmc/address_space_size_limit2/test.c

Lines changed: 0 additions & 11 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)