Skip to content

Commit 62995f5

Browse files
committed
Added a new test that would fail with the wrong logic in the remove_internal_symbols static condition.
1 parent 6509e10 commit 62995f5

File tree

2 files changed

+11
-0
lines changed

2 files changed

+11
-0
lines changed

regression/cbmc/Static4/main.c

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
static int foo(int a)
2+
{
3+
return a+1;
4+
}

regression/cbmc/Static4/test.desc

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
main.c
3+
--show-symbol-table
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^Symbol......: foo

0 commit comments

Comments
 (0)