Test failure on `DifferentNames`
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 68/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Quiet
- Tech stack
- haskell
- Domain
- testing-qa
Research direction
Start with test/Modelling/CdOd/DifferentNamesSpec.hs at line 116 and rerun the named differentNamesEvaluation test using seed 593280752. Investigate the reported counterexample involving [("1.","")], 0, and [False], then confirm the test passes without weakening its intended checks.
Written by the indexing model from the issue text.
Description
modelling-tasks > Failures:
modelling-tasks >
modelling-tasks > test/Modelling/CdOd/DifferentNamesSpec.hs:116:5:
modelling-tasks > 1) Modelling.CdOd.DifferentNames.differentNamesEvaluation accepts correct solutions
modelling-tasks > Falsified (after 7 tests and 8 shrinks):
modelling-tasks > NonEmpty {getNonEmpty = [("1.","")]}
modelling-tasks > 0
modelling-tasks > NonEmpty {getNonEmpty = [False]}
modelling-tasks >
modelling-tasks > To rerun use: --match "/Modelling.CdOd.DifferentNames/differentNamesEvaluation/accepts correct solutions/" --seed 593280752
- Dominant language
- Haskell
- Stars
- 0
- Forks
- 3
- Avg merge
- 2d 7h
- Merged PRs (30d)
- 3
Contributor guide
No contributing guide indexed for this repository
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.
More from fmidue/modelling-tasks
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
fmidue/modelling-tasks#692 ·
-
spacing in feedback Open
Difficulty 3/5 1-2 days Newbie friendliness 38/100
fmidue/modelling-tasks#689 ·
-
Find new config Open
Difficulty 3/5 1-2 days Newbie friendliness 45/100
fmidue/modelling-tasks#688 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
fmidue/modelling-tasks#687 ·
-
cd-od
Difficulty 4/5 3-5 days Newbie friendliness 52/100
fmidue/modelling-tasks#682 ·
All issues in fmidue/modelling-tasks
Similar issues
-
chore
Difficulty 1/5 Under an hour Newbie friendliness 91/100
alunduil/alunduil-chezmoi#792 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 85/100
koalaman/shellcheck#3539 ·
-
time-manager-0.4.0 Openfailure: bounds
Difficulty 1/5 Under an hour Newbie friendliness 72/100
commercialhaskell/stackage#8122 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
objectionary/phino#1350 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100