Skip to content

Commit 50a015a

Browse files
author
Leonardo
authored
Merge pull request ethereum#7694 from ethereum/smt_remove_flaky_tests
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
2 parents 0059f9d + dc2dff8 commit 50a015a

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)