From 502040fdc5db87098f50bdf008752519c09b9827 Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Thu, 18 Mar 2021 19:50:57 +0000 Subject: [PATCH] Properly rename regression tests from cbmc-cpp Commit 879afa2 introduced tests that result in name conflicts on non-case-sensitive file systems. Signed-off-by: Felipe R. Monteiro --- regression/cbmc-cpp/{Lvalue1 => lvalue2}/main.cpp | 0 regression/cbmc-cpp/{Lvalue1 => lvalue2}/test.desc | 0 regression/cbmc-cpp/{Typedef1 => typedef4}/main.cpp | 0 regression/cbmc-cpp/{Typedef1 => typedef4}/test.desc | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename regression/cbmc-cpp/{Lvalue1 => lvalue2}/main.cpp (100%) rename regression/cbmc-cpp/{Lvalue1 => lvalue2}/test.desc (100%) rename regression/cbmc-cpp/{Typedef1 => typedef4}/main.cpp (100%) rename regression/cbmc-cpp/{Typedef1 => typedef4}/test.desc (100%) 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