Created
September 19, 2025 09:38
-
-
Save zainab-ali/b09cd680b6c4504b0f905a6823e21f2b to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
//> using scala "3.7.3" | |
//> using test.dep org.typelevel::weaver-cats::0.10.1 | |
//> using test.dep org.typelevel::weaver-scalacheck::0.10.1 | |
import weaver.* | |
import weaver.scalacheck.* | |
import org.scalacheck.rng.Seed | |
object CheckersBug extends SimpleIOSuite with Checkers { | |
override def checkConfig = super.checkConfig.withInitialSeed(Seed.fromBase64( | |
"kmjywzhL9YdGa0qwuJep51gCv0bSjr4p04st85cXOKG=").toOption) | |
test("Without fail fast") { _ => forall { (i: Int) => expect.eql(5, i) } } | |
test("With fail fast") { _ => | |
forall { (i: Int) => expect.eql(5, i).failFast.as(success) } | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Report