diffblue
diff --git a/‎regression/cbmc-library/__builtin_alloca-01/main.c
Lines changed: 0 additions & 9 deletions b/‎regression/cbmc-library/__builtin_alloca-01/main.c
Lines changed: 0 additions & 9 deletions
diff --git a/‎regression/cbmc-library/__builtin_alloca-01/test.desc
Lines changed: 0 additions & 8 deletions b/‎regression/cbmc-library/__builtin_alloca-01/test.desc
Lines changed: 0 additions & 8 deletions
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