Skip to content

Commit

Permalink
exit if replayed interesting backends are flaky
Browse files Browse the repository at this point in the history
  • Loading branch information
tybug committed Jun 27, 2024
1 parent c46da15 commit 90ad3e2
Showing 1 changed file with 5 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -508,6 +508,11 @@ def test_function(self, data: ConjectureData) -> None:
# to a buffer
data = ConjectureData.for_ir_tree(data.examples.ir_tree_nodes)
self.__stoppable_test_function(data)
data.freeze()
# should we raise Flaky here instead?
if data.status != Status.INTERESTING:
self.exit_with(ExitReason.flaky)

self._cache(data)

key = data.interesting_origin
Expand Down

0 comments on commit 90ad3e2

Please sign in to comment.