Skip to content

Commit 8659dac

Browse files
TGWDBTGWDB
committed
Revert "Add regression test for size limit check"
This reverts commit bc02565.
1 parent bc02565 commit 8659dac

File tree

2 files changed

+0
-24
lines changed

2 files changed

+0
-24
lines changed

‎regression/cbmc/array_too_big/test.c

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

‎regression/cbmc/array_too_big/test.desc

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

0 commit comments

Comments
 (0)