Skip to content

Commit 502040f

Browse files
feliperodrifeliperodri
committed
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 <[email protected]>
1 parent c5cc454 commit 502040f

File tree

4 files changed

+0
-0
lines changed

4 files changed

+0
-0
lines changed

‎regression/cbmc-cpp/Lvalue1/main.cpp renamed to ‎regression/cbmc-cpp/lvalue2/main.cpp

File renamed without changes.

‎regression/cbmc-cpp/Lvalue1/test.desc renamed to ‎regression/cbmc-cpp/lvalue2/test.desc

File renamed without changes.

‎regression/cbmc-cpp/Typedef1/main.cpp renamed to ‎regression/cbmc-cpp/typedef4/main.cpp

File renamed without changes.

‎regression/cbmc-cpp/Typedef1/test.desc renamed to ‎regression/cbmc-cpp/typedef4/test.desc

File renamed without changes.

0 commit comments

Comments
 (0)