typelevel / typelevel/case-insensitive
Failed test on hash.antisymmetry
Open
Nobody has claimed this yet.
- Dominant language
- Scala
- Stars
- 38
- Forks
- 15
- Avg merge
- 5d 5h
- Merged PRs (30d)
- 3
Description
https://github.com/typelevel/case-insensitive/actions/runs/18392877504/job/52406578075?pr=506
failing seed for hash.antisymmetry eq is pybM17lbc1HucUvnX921l2fH7SmLkpiyFXZtof-nd6E=
==> X org.typelevel.ci.CIStringSuite.Hash[CIString]: hash.antisymmetry eq 0.014s munit.FailException: tests/shared/src/test/scala/org/typelevel/ci/CIStringSuite.scala:212
211: checkAll("Order[CIString]", OrderTests[CIString].order)
212: checkAll("Hash[CIString]", HashTests[CIString].hash)
213: checkAll("LowerBounded[CIString]", LowerBoundedTests[CIString].lowerBounded)
Failing seed: 8xWnjwz7hjrhK0LI9xkRmVGreER0YjXs0SvofK4suRD=
You can reproduce this failure by adding the following override to your suite:
override def scalaCheckInitialSeed = "8xWnjwz7hjrhK0LI9xkRmVGreER0YjXs0SvofK4suRD="
Falsified after 1 passed tests.
> Labels of failing property:
Expected: true
Received: false
> ARG_0: ϑ
> ARG_1: ϴ
> ARG_2: <function1>
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
Start with tests/shared/src/test/scala/org/typelevel/ci/CIStringSuite.scala at the HashTests check on line 212, using the reported ScalaCheck seed to reproduce the failure. Investigate the hash and equality behavior for the Greek characters ϑ and ϴ. Done means the reproducible property test passes without breaking the existing CIString hash laws.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- testing
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100