StringSeqPatternSetLaws.relate consistency flake

[johnynek]

==> X org.bykn.bosatsu.pattern.StringSeqPatternSetLaws.relate consistency  1.823s munit.FailException: /Users/oscar/code/oss/bosatsu/core/src/test/scala/org/bykn/bosatsu/set/SetOpsLaws.scala:337 assertion failed
336:
337:          assert(!eqv.eqv(intr, a :: Nil))
338:          assert(!eqv.eqv(intr, b :: Nil), s"intr = $intr")

Failing seed: lAso2CKIQtrnFJfJEqMpmwpceMK9gudtUPWcX0tKY5L=
You can reproduce this failure by adding the following override to your suite:

  override def scalaCheckInitialSeed = "lAso2CKIQtrnFJfJEqMpmwpceMK9gudtUPWcX0tKY5L="

Falsified after 416 passed tests.
> ARG_0: Cat(Lit(0),Cat(AnyElem,Cat(Lit(1),Empty)))
> ARG_1: Cat(Wildcard,Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Empty))))
> ARG_2: org.bykn.bosatsu.pattern.StringSeqPatternSetLaws$$anon$1@38c64b2e

[johnynek]

==> X org.bykn.bosatsu.pattern.StringSeqPatternSetLaws.relate consistency  1.059s munit.FailException: /Users/oscar/code/oss/bosatsu/core/src/test/scala/org/bykn/bosatsu/set/SetOpsLaws.scala:337 assertion failed
336:
337:          assert(!eqv.eqv(intr, a :: Nil))
338:          assert(!eqv.eqv(intr, b :: Nil), s"intr = $intr")

Failing seed: kSPZ3smv7HRvYt2xbXS36YDIFag6OiY3CmnOzbawzNH=
You can reproduce this failure by adding the following override to your suite:

  override def scalaCheckInitialSeed = "kSPZ3smv7HRvYt2xbXS36YDIFag6OiY3CmnOzbawzNH="

Falsified after 343 passed tests.
> ARG_0: Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(0),Empty))))
> ARG_1: Cat(Wildcard,Cat(Lit(1),Cat(Lit(0),Cat(Wildcard,Empty))))
> ARG_2: org.bykn.bosatsu.pattern.StringSeqPatternSetLaws$$anon$1@450eac7

[johnynek]

 ==> X org.bykn.bosatsu.pattern.StringSeqPatternSetLaws.relate consistency  1.93s munit.FailException: /home/runner/work/bosatsu/bosatsu/core/src/test/scala/org/bykn/bosatsu/set/SetOpsLaws.scala:338 intr = List(Cat(Lit(0),Cat(Lit(1),Cat(Lit(0),Empty))), Cat(Lit(0),Cat(Lit(1),Cat(Lit(0),Cat(Wildcard,Cat(Lit(0),Empty))))), Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(1),Cat(Lit(0),Empty))))), Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(1),Cat(Lit(0),Cat(Wildcard,Cat(Lit(0),Empty))))))))
337:          assert(!eqv.eqv(intr, a :: Nil))
338:          assert(!eqv.eqv(intr, b :: Nil), s"intr = $intr")
339:          assert(!eqv.eqv(a :: Nil, b :: Nil))

Failing seed: QOQcqLGtAByvbhi_foAYeMIYTs8NcdIb6MzxQ7nYxPP=
You can reproduce this failure by adding the following override to your suite:

  override def scalaCheckInitialSeed = "QOQcqLGtAByvbhi_foAYeMIYTs8NcdIb6MzxQ7nYxPP="

Falsified after 288 passed tests.
> ARG_0: Cat(Wildcard,Cat(Lit(1),Cat(Lit(0),Cat(Wildcard,Empty))))
> ARG_1: Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(0),Empty))))
> ARG_2: org.bykn.bosatsu.pattern.StringSeqPatternSetLaws$$anon$1@42daea75

[johnynek]

==> X org.bykn.bosatsu.pattern.StringSeqPatternSetLaws.relate consistency 0.26s munit.FailException: /home/runner/work/bosatsu/bosatsu/core/src/test/scala/org/bykn/bosatsu/set/SetOpsLaws.scala:338 intr = List(Cat(Lit(0),Cat(Lit(1),Cat(Lit(1),Empty))), Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(1),Cat(Lit(1),Empty))))), Cat(Lit(0),Cat(Wildcard,Cat(Lit(0),Cat(Lit(1),Cat(Lit(1),Empty))))), Cat(Lit(0),Cat(Wildcard,Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Cat(Lit(1),Cat(Lit(1),Empty))))))))
337:          assert(!eqv.eqv(intr, a :: Nil))
338:          assert(!eqv.eqv(intr, b :: Nil), s"intr = $intr")
339:          assert(!eqv.eqv(a :: Nil, b :: Nil))

Failing seed: ycidpYYPdzu2oxTSVgn_MoRxEWpA24YpdrsFHzC8kLL=
You can reproduce this failure by adding the following override to your suite:

  override def scalaCheckInitialSeed = "ycidpYYPdzu2oxTSVgn_MoRxEWpA24YpdrsFHzC8kLL="

Falsified after 5 passed tests.
> ARG_0: Cat(Wildcard,Cat(Lit(0),Cat(Lit(1),Cat(Wildcard,Empty))))
> ARG_1: Cat(Lit(0),Cat(Wildcard,Cat(Lit(1),Cat(Lit(1),Empty))))
> ARG_2: org.bykn.bosatsu.pattern.StringSeqPatternSetLaws$$anon$1@a0