diffblue
diff --git a/‎regression/cbmc-cpp/Lvalue1/main.cpp renamed to ‎regression/cbmc-cpp/lvalue2/main.cpp b/‎regression/cbmc-cpp/Lvalue1/main.cpp renamed to ‎regression/cbmc-cpp/lvalue2/main.cpp
diff --git a/‎regression/cbmc-cpp/Lvalue1/test.desc renamed to ‎regression/cbmc-cpp/lvalue2/test.desc b/‎regression/cbmc-cpp/Lvalue1/test.desc renamed to ‎regression/cbmc-cpp/lvalue2/test.desc
diff --git a/‎regression/cbmc-cpp/Typedef1/main.cpp renamed to ‎regression/cbmc-cpp/typedef4/main.cpp b/‎regression/cbmc-cpp/Typedef1/main.cpp renamed to ‎regression/cbmc-cpp/typedef4/main.cpp
diff --git a/‎regression/cbmc-cpp/Typedef1/test.desc renamed to ‎regression/cbmc-cpp/typedef4/test.desc b/‎regression/cbmc-cpp/Typedef1/test.desc renamed to ‎regression/cbmc-cpp/typedef4/test.desc