diffblue
diff --git a/‎regression/cbmc/dynamic-object-01/main.c‎ ‎…cbmc-primitives/dynamic-object-01/main.c‎regression/cbmc/dynamic-object-01/main.c renamed to regression/cbmc-primitives/dynamic-object-01/main.c b/‎regression/cbmc/dynamic-object-01/main.c‎ ‎…cbmc-primitives/dynamic-object-01/main.c‎regression/cbmc/dynamic-object-01/main.c renamed to regression/cbmc-primitives/dynamic-object-01/main.c
diff --git a/‎…n/cbmc/dynamic-object-01/test-no-cp.desc‎ ‎…itives/dynamic-object-01/test-no-cp.desc‎regression/cbmc/dynamic-object-01/test-no-cp.desc renamed to regression/cbmc-primitives/dynamic-object-01/test-no-cp.desc b/‎…n/cbmc/dynamic-object-01/test-no-cp.desc‎ ‎…itives/dynamic-object-01/test-no-cp.desc‎regression/cbmc/dynamic-object-01/test-no-cp.desc renamed to regression/cbmc-primitives/dynamic-object-01/test-no-cp.desc
diff --git a/‎…ression/cbmc/dynamic-object-01/test.desc‎ ‎…c-primitives/dynamic-object-01/test.desc‎regression/cbmc/dynamic-object-01/test.desc renamed to regression/cbmc-primitives/dynamic-object-01/test.desc b/‎…ression/cbmc/dynamic-object-01/test.desc‎ ‎…c-primitives/dynamic-object-01/test.desc‎regression/cbmc/dynamic-object-01/test.desc renamed to regression/cbmc-primitives/dynamic-object-01/test.desc
diff --git a/‎regression/cbmc/dynamic-object-02/main.c‎ ‎…cbmc-primitives/dynamic-object-02/main.c‎regression/cbmc/dynamic-object-02/main.c renamed to regression/cbmc-primitives/dynamic-object-02/main.c b/‎regression/cbmc/dynamic-object-02/main.c‎ ‎…cbmc-primitives/dynamic-object-02/main.c‎regression/cbmc/dynamic-object-02/main.c renamed to regression/cbmc-primitives/dynamic-object-02/main.c
diff --git a/‎…n/cbmc/dynamic-object-02/test-no-cp.desc‎ ‎…itives/dynamic-object-02/test-no-cp.desc‎regression/cbmc/dynamic-object-02/test-no-cp.desc renamed to regression/cbmc-primitives/dynamic-object-02/test-no-cp.desc b/‎…n/cbmc/dynamic-object-02/test-no-cp.desc‎ ‎…itives/dynamic-object-02/test-no-cp.desc‎regression/cbmc/dynamic-object-02/test-no-cp.desc renamed to regression/cbmc-primitives/dynamic-object-02/test-no-cp.desc
diff --git a/‎…ression/cbmc/dynamic-object-02/test.desc‎ ‎…c-primitives/dynamic-object-02/test.desc‎regression/cbmc/dynamic-object-02/test.desc renamed to regression/cbmc-primitives/dynamic-object-02/test.desc b/‎…ression/cbmc/dynamic-object-02/test.desc‎ ‎…c-primitives/dynamic-object-02/test.desc‎regression/cbmc/dynamic-object-02/test.desc renamed to regression/cbmc-primitives/dynamic-object-02/test.desc
diff --git a/‎regression/cbmc/object-size-01/main.c‎ ‎…on/cbmc-primitives/object-size-01/main.c‎regression/cbmc/object-size-01/main.c renamed to regression/cbmc-primitives/object-size-01/main.c b/‎regression/cbmc/object-size-01/main.c‎ ‎…on/cbmc-primitives/object-size-01/main.c‎regression/cbmc/object-size-01/main.c renamed to regression/cbmc-primitives/object-size-01/main.c
diff --git a/‎…sion/cbmc/object-size-01/test-no-cp.desc‎ ‎…rimitives/object-size-01/test-no-cp.desc‎regression/cbmc/object-size-01/test-no-cp.desc renamed to regression/cbmc-primitives/object-size-01/test-no-cp.desc b/‎…sion/cbmc/object-size-01/test-no-cp.desc‎ ‎…rimitives/object-size-01/test-no-cp.desc‎regression/cbmc/object-size-01/test-no-cp.desc renamed to regression/cbmc-primitives/object-size-01/test-no-cp.desc
diff --git a/‎regression/cbmc/object-size-01/test.desc‎ ‎…cbmc-primitives/object-size-01/test.desc‎regression/cbmc/object-size-01/test.desc renamed to regression/cbmc-primitives/object-size-01/test.desc b/‎regression/cbmc/object-size-01/test.desc‎ ‎…cbmc-primitives/object-size-01/test.desc‎regression/cbmc/object-size-01/test.desc renamed to regression/cbmc-primitives/object-size-01/test.desc
diff --git a/‎regression/cbmc/pointer-offset-01/main.c‎ ‎…cbmc-primitives/pointer-offset-01/main.c‎regression/cbmc/pointer-offset-01/main.c renamed to regression/cbmc-primitives/pointer-offset-01/main.c b/‎regression/cbmc/pointer-offset-01/main.c‎ ‎…cbmc-primitives/pointer-offset-01/main.c‎regression/cbmc/pointer-offset-01/main.c renamed to regression/cbmc-primitives/pointer-offset-01/main.c