Skip to content

Commit 13116e2

Browse files
feliperodrifeliperodri
committed
Removes corrupted regression tests from cbmc-cpp
Signed-off-by: Felipe R. Monteiro <[email protected]>
1 parent c5cc454 commit 13116e2

File tree

8 files changed

+0
-117
lines changed

8 files changed

+0
-117
lines changed

‎regression/cbmc-cpp/Lvalue1/main.cpp

Lines changed: 0 additions & 32 deletions
This file was deleted.

‎regression/cbmc-cpp/Lvalue1/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎regression/cbmc-cpp/Typedef1/main.cpp

Lines changed: 0 additions & 23 deletions
This file was deleted.

‎regression/cbmc-cpp/Typedef1/test.desc

Lines changed: 0 additions & 8 deletions
This file was deleted.

‎regression/cbmc-cpp/lvalue1/main.cpp

Lines changed: 0 additions & 20 deletions
This file was deleted.

‎regression/cbmc-cpp/lvalue1/test.desc

Lines changed: 0 additions & 10 deletions
This file was deleted.

‎regression/cbmc-cpp/typedef1/main.cpp

Lines changed: 0 additions & 7 deletions
This file was deleted.

‎regression/cbmc-cpp/typedef1/test.desc

Lines changed: 0 additions & 9 deletions
This file was deleted.

0 commit comments

Comments
 (0)