==> X org.bykn.bosatsu.TotalityTest.subset consistency: a n b == a <=> a - b = 0 0.751s munit.ComparisonFailException: /home/runner/work/bosatsu/bosatsu/core/src/test/scala/org/bykn/bosatsu/set/SetOpsLaws.scala:158
157: test("subset consistency: a n b == a <=> a - b = 0") {
158: forAll(genItem, genItem, eqUnion)(subsetConsistencyLaw(_, _, _))
159: }
values are not the same
=> Obtained
true
=> Diff (- obtained, + expected)
-true
+false
Failing seed: Izebnsyf4zkBHCONeJFfrTLtwqzjqNraRFRtp6Pzh4C=
You can reproduce this failure by adding the following override to your suite:
override def scalaCheckInitialSeed = "Izebnsyf4zkBHCONeJFfrTLtwqzjqNraRFRtp6Pzh4C="
Falsified after 375 passed tests.
> ARG_0: WildCard
> ARG_1: Union(ListPat(List()),NonEmptyList(ListPat(List(Item(Named(Name(tmxb),Union(Var(Operator(^)),NonEmptyList(Var(Name(mjpqdwRbkz)), Literal(Chr(鱛)))))))), ListPat(List(Item(ListPat(List(WildList))), Item(Named(Name(e7psNp0ok),WildCard)), WildList))))
> ARG_2: org.bykn.bosatsu.TotalityTest$$anon$1@204da2cd
> ARG_1_ORIGINAL: Union(ListPat(List()),NonEmptyList(ListPat(List(Item(Named(Name(tmxb),Union(Var(Operator(^)),NonEmptyList(Var(Name(mjpqdwRbkz)), Literal(Chr(鱛)))))))), Named(Name(vmh),Named(Name(ywbu),ListPat(List(Item(ListPat(List(WildList))), Item(Named(Name(e7psNp0ok),WildCard)), WildList)))), Named(Name(giPrwr),Literal(Integer(9223372036854775807))), Literal(Integer(-9223372036854775808))))
at munit.ComparisonFailException.withMessage(ComparisonFailException.scala:55)