Skip to content

Commit 432ab6a

Browse files
tautschnigtautschnig
committed
Move cbmc/alloca1 to cbmc-library
This function exercises a library function. Remove __builtin_alloca test stub as the alloca1 regression test will cover both library functions.
1 parent 55d32b5 commit 432ab6a

File tree

4 files changed

+0
-17
lines changed

4 files changed

+0
-17
lines changed

‎regression/cbmc-library/__builtin_alloca-01/main.c

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

‎regression/cbmc-library/__builtin_alloca-01/test.desc

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

‎regression/cbmc/alloca1/main.c renamed to ‎regression/cbmc-library/alloca-01/main.c

File renamed without changes.

‎regression/cbmc/alloca1/test.desc renamed to ‎regression/cbmc-library/alloca-01/test.desc

File renamed without changes.

0 commit comments

Comments
 (0)