Skip to content

Commit 805c737

Browse files
tautschnigtautschnig
committed
Move cbmc/alloca1 to cbmc-library
This function exercises a library function.
1 parent 5de987e commit 805c737

File tree

2 files changed

+0
-0
lines changed

2 files changed

+0
-0
lines changed

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

File renamed without changes.

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

File renamed without changes.

0 commit comments

Comments
 (0)