typelevel / typelevel/cats-parse
investigate scalacheck failure 20230625T112756
Open
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 245
- Forks
- 51
- Avg merge
- 3h 20m
- Merged PRs (30d)
- 1
Description
==> X cats.parse.ParserTest.parse between open and close with Parser this 0.146s munit.ComparisonFailException: /home/runner/work/cats-parse/cats-parse/core/shared/src/test/scala/cats/parse/ParserTest.scala:1729
1728:
1729: assertEquals(pa.parse(str), pb.parse(str))
1730: }
values are not the same
=> Obtained
Left(
Error(
0,
NonEmptyList(
OneOfStr(
0,
List(
"BB"
)
),
Nil
)
)
)
=> Diff (- obtained, + expected)
),
- Nil
+ List(
+ WithContext(
+ "妯堢\u1ab0塱漿\uf26fᶵ氣㮍恤",
+ OneOfStr(
+ 0,
+ List(
+ "Ҝﶂ\uf3e5先\u32ca\ue7a0"
+ )
+ )
+ )
+ )
)
Failing seed: dRxSpF-stS-6EpcFMUT-Kt9nvNqoXO4RS9F7ka860UN=
You can reproduce this failure by adding the following override to your suite:
override val scalaCheckInitialSeed = "dRxSpF-stS-6EpcFMUT-Kt9nvNqoXO4RS9F7ka860UN="
Falsified after 1447 passed tests.
> ARG_0: GenT(Map(Str(BB),ConstFn(BB)))
> ARG_1: GenT(Map0(Prod0(Not(Str(E6V,7<uNDcO]y7+E(c+?q4TFx#gti,8euZJ3W|&XQ]to,-S`L#kUZ`kD~)),Map0(OneOf0(List(Map0(WithContextP0(妯堢᪰塱漿ᶵ氣㮍恤,Str(Ҝﶂ先㋊)),ConstFn(쒔)), Map0(GetCaret,<function1>))),<function1>)),<function1>))
> ARG_2: GenT(FailWith(䠗킜₩࢞怠톍㚩䚋窶䱪䏾먌㰅燏늃鬃ﳣ艍⳽⩟㢫ॷ⏩䏊㻀溧쪒䛛捀䕆飺ᝄ髞༙蟧屏汅⁇뜟))
> ARG_3: ""
> ARG_3_ORIGINAL: "BaB"
at munit.ComparisonFailException.withMessage(ComparisonFailException.scala:48)
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the failure in core/shared/src/test/scala/cats/parse/ParserTest.scala at the assertion on line 1729, using the reported ScalaCheck seed override. Compare the obtained and expected parser results and trace the generated case. Done means the failure is understood and the affected test passes reliably.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- testing-qa
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100