Skip to content

Commit

Permalink
πŸ› Throw exhausted test cases
Browse files Browse the repository at this point in the history
  • Loading branch information
jprudent committed Jan 15, 2024
1 parent 6776639 commit 6e59cae
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,6 @@ inline def testGen[A, C](using inline arb: Arbitrary[A :| C], inline constraint:
case Test.Passed | Test.Proved(_) =>
case Test.Failed(args, _) =>
throw AssertionError(s"Some constrained values failed for ${constraint.message}", getTestValues(args))
case Test.Exhausted => new java.lang.AssertionError("Exhausted")
case Test.Exhausted => throw new java.lang.AssertionError("Exhausted")
case Test.PropException(args, e, _) =>
throw AssertionError(s"An error occurred for ${constraint.message}", getTestValues(args), e)

0 comments on commit 6e59cae

Please sign in to comment.