Skip to content

Commit 4c58926

Browse files
feliperodrifeliperodri
committed
Properly rename regression tests from cbmc-cpp
Signed-off-by: Felipe R. Monteiro <[email protected]>
1 parent c5cc454 commit 4c58926

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/LvalueOne/main.cpp

File renamed without changes.

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

File renamed without changes.

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

File renamed without changes.

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

File renamed without changes.

0 commit comments

Comments
 (0)