search

typelevel / cats-parse

A parsing library for the cats ecosystem
https://typelevel.org/cats-parse/
MIT License
233 stars 53 forks source link

investigate scalacheck failure 20231113 #558

Open johnynek opened 10 months ago

johnynek commented 10 months ago

was against: 79a414082fccb2e4db217712ae121d37494344a2

==> X cats.parse.ParserTest.oneOf0(as :+ unit) ~ b == (oneOf0(as).with1 ~ b) | (unit.with1 ~ b))  0.073s munit.FailException: /home/runner/work/cats-parse/cats-parse/core/shared/src/test/scala/cats/parse/ParserTest.scala:1043 notB = Set(WithContext(,Fail(0))) notA = Set(WithContext(,OneOfStr(0,List(뚈鰊))))
1042:              )
1043:              assert(
1044:                notStringOrCharB.subsetOf(notStringOrCharA),

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

  override def scalaCheckInitialSeed = "Ngc1brL8Fnvq44FiBBGJQdIkuU2tE2zDn7pjJIo5QQN="

Falsified after 38 passed tests.
> ARG_0: List("Map0(StringP0(WithContextP0(,Str(뚈鰊))),org.scalacheck.GenArities$$Lambda$10062/1263960136@11389892)", "Void(Prod(CharIn(84, bitSet = ..., NonEmptyList((T,T))),SoftProd(CharIn(54503, bitSet = ..., NonEmptyList((퓧,퓧))),CharIn(32, bitSet = ..., NonEmptyList(( , ))))))")
> ARG_1: Map(WithContextP(,Fail()),org.scalacheck.GenArities$$Lambda$10062/1263960136@37fbc952)
> ARG_2: ""