Skip to content

Commit dc2dff8

Browse files
author
Leonardo Alt
committed
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
1 parent 52a9de8 commit dc2dff8

File tree

2 files changed

+0
-43
lines changed

2 files changed

+0
-43
lines changed

‎test/libsolidity/smtCheckerTests/invariants/loop_array_for.sol

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

‎test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol

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

0 commit comments

Comments
 (0)