diff --git a/regression/cbmc-cpp/Lvalue1/main.cpp b/regression/cbmc-cpp/lvalue2/main.cpp
similarity index 100%
rename from regression/cbmc-cpp/Lvalue1/main.cpp
rename to regression/cbmc-cpp/lvalue2/main.cpp
diff --git a/regression/cbmc-cpp/Lvalue1/test.desc b/regression/cbmc-cpp/lvalue2/test.desc
similarity index 100%
rename from regression/cbmc-cpp/Lvalue1/test.desc
rename to regression/cbmc-cpp/lvalue2/test.desc
diff --git a/regression/cbmc-cpp/Typedef1/main.cpp b/regression/cbmc-cpp/typedef4/main.cpp
similarity index 100%
rename from regression/cbmc-cpp/Typedef1/main.cpp
rename to regression/cbmc-cpp/typedef4/main.cpp
diff --git a/regression/cbmc-cpp/Typedef1/test.desc b/regression/cbmc-cpp/typedef4/test.desc
similarity index 100%
rename from regression/cbmc-cpp/Typedef1/test.desc
rename to regression/cbmc-cpp/typedef4/test.desc