diffblue
diff --git a/‎regression/cbmc-library/__builtin_alloca-01/main.c
-9 b/‎regression/cbmc-library/__builtin_alloca-01/main.c
-9
diff --git a/‎regression/cbmc-library/__builtin_alloca-01/test.desc
-8 b/‎regression/cbmc-library/__builtin_alloca-01/test.desc
-8
diff --git a/‎regression/cbmc/alloca1/main.c renamed to ‎regression/cbmc-library/alloca-01/main.c b/‎regression/cbmc/alloca1/main.c renamed to ‎regression/cbmc-library/alloca-01/main.c
diff --git a/‎regression/cbmc/alloca1/test.desc renamed to ‎regression/cbmc-library/alloca-01/test.desc b/‎regression/cbmc/alloca1/test.desc renamed to ‎regression/cbmc-library/alloca-01/test.desc