diffblue
diff --git a/‎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 renamed to ‎regression/cbmc-primitives/dynamic-object-01/main.c
diff --git a/‎regression/cbmc/dynamic-object-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/dynamic-object-01/test-no-cp.desc b/‎regression/cbmc/dynamic-object-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/dynamic-object-01/test-no-cp.desc
diff --git a/‎regression/cbmc/dynamic-object-01/test.desc renamed to ‎regression/cbmc-primitives/dynamic-object-01/test.desc b/‎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 renamed to ‎regression/cbmc-primitives/dynamic-object-02/main.c b/‎regression/cbmc/dynamic-object-02/main.c renamed to ‎regression/cbmc-primitives/dynamic-object-02/main.c
diff --git a/‎regression/cbmc/dynamic-object-02/test-no-cp.desc renamed to ‎regression/cbmc-primitives/dynamic-object-02/test-no-cp.desc b/‎regression/cbmc/dynamic-object-02/test-no-cp.desc renamed to ‎regression/cbmc-primitives/dynamic-object-02/test-no-cp.desc
diff --git a/‎regression/cbmc/dynamic-object-02/test.desc renamed to ‎regression/cbmc-primitives/dynamic-object-02/test.desc b/‎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 renamed to ‎regression/cbmc-primitives/object-size-01/main.c b/‎regression/cbmc/object-size-01/main.c renamed to ‎regression/cbmc-primitives/object-size-01/main.c
diff --git a/‎regression/cbmc/object-size-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/object-size-01/test-no-cp.desc b/‎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 renamed to ‎regression/cbmc-primitives/object-size-01/test.desc b/‎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 renamed to ‎regression/cbmc-primitives/pointer-offset-01/main.c b/‎regression/cbmc/pointer-offset-01/main.c renamed to ‎regression/cbmc-primitives/pointer-offset-01/main.c
diff --git a/‎regression/cbmc/pointer-offset-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/pointer-offset-01/test-no-cp.desc b/‎regression/cbmc/pointer-offset-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/pointer-offset-01/test-no-cp.desc
diff --git a/‎regression/cbmc/pointer-offset-01/test.desc renamed to ‎regression/cbmc-primitives/pointer-offset-01/test.desc b/‎regression/cbmc/pointer-offset-01/test.desc renamed to ‎regression/cbmc-primitives/pointer-offset-01/test.desc
diff --git a/‎regression/cbmc/same-object-01/main.c renamed to ‎regression/cbmc-primitives/same-object-01/main.c b/‎regression/cbmc/same-object-01/main.c renamed to ‎regression/cbmc-primitives/same-object-01/main.c
diff --git a/‎regression/cbmc/same-object-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-01/test-no-cp.desc b/‎regression/cbmc/same-object-01/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-01/test-no-cp.desc
diff --git a/‎regression/cbmc/same-object-01/test.desc renamed to ‎regression/cbmc-primitives/same-object-01/test.desc b/‎regression/cbmc/same-object-01/test.desc renamed to ‎regression/cbmc-primitives/same-object-01/test.desc
diff --git a/‎regression/cbmc/same-object-02/main.c renamed to ‎regression/cbmc-primitives/same-object-02/main.c b/‎regression/cbmc/same-object-02/main.c renamed to ‎regression/cbmc-primitives/same-object-02/main.c
diff --git a/‎regression/cbmc/same-object-02/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-02/test-no-cp.desc b/‎regression/cbmc/same-object-02/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-02/test-no-cp.desc
diff --git a/‎regression/cbmc/same-object-02/test.desc renamed to ‎regression/cbmc-primitives/same-object-02/test.desc b/‎regression/cbmc/same-object-02/test.desc renamed to ‎regression/cbmc-primitives/same-object-02/test.desc
diff --git a/‎regression/cbmc/same-object-03/main.c renamed to ‎regression/cbmc-primitives/same-object-03/main.c b/‎regression/cbmc/same-object-03/main.c renamed to ‎regression/cbmc-primitives/same-object-03/main.c
diff --git a/‎regression/cbmc/same-object-03/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-03/test-no-cp.desc b/‎regression/cbmc/same-object-03/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-03/test-no-cp.desc
diff --git a/‎regression/cbmc/same-object-03/test.desc renamed to ‎regression/cbmc-primitives/same-object-03/test.desc b/‎regression/cbmc/same-object-03/test.desc renamed to ‎regression/cbmc-primitives/same-object-03/test.desc
diff --git a/‎regression/cbmc/same-object-04/main.c renamed to ‎regression/cbmc-primitives/same-object-04/main.c b/‎regression/cbmc/same-object-04/main.c renamed to ‎regression/cbmc-primitives/same-object-04/main.c
diff --git a/‎regression/cbmc/same-object-04/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-04/test-no-cp.desc b/‎regression/cbmc/same-object-04/test-no-cp.desc renamed to ‎regression/cbmc-primitives/same-object-04/test-no-cp.desc
diff --git a/‎regression/cbmc/same-object-04/test.desc renamed to ‎regression/cbmc-primitives/same-object-04/test.desc b/‎regression/cbmc/same-object-04/test.desc renamed to ‎regression/cbmc-primitives/same-object-04/test.desc