genRange crashes with ClOpen when lower bound equals upper bound
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 72/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Calme
- Stack technique
- haskell
- Domaine
- testing-qa
Piste de recherche
Lisez src/Codec/CBOR/Cuddle/CBOR/Gen.hs, en commençant par genRange et son helper range, et reproduisez le cas vide 5...5 avec des bornes ClOpen. Validez la plage ajustée avant choose ou antiChoose, et considérez le problème comme résolu lorsque les plages vides produisent une erreur claire au lieu d'un crash dû à une plage invalide.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Description
genRange can crash with an invalid choose range when the lower bound equals the upper bound and bounds are ClOpen.
Location
src/Codec/CBOR/Cuddle/CBOR/Gen.hs, genRange function
Details
When a == b and the range bound is ClOpen, the range helper computes (x, pred y), producing an upper bound strictly less than the lower bound. This causes choose/antiChoose to crash with an invalid range.
For example, a CDDL range like 5...5 (exclusive on both ends) results in an empty range that choose cannot handle.
Suggested fix
Validate that the range is non-empty after applying bounds, and emit a clear error message for empty ranges instead of crashing inside choose.
- Langage dominant
- Haskell
- Étoiles
- 8
- Forks
- 5
- Merge moyen
- 3 j 12 h
- PR mergées (30 j)
- 4
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de IntersectMBO/cuddle
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
IntersectMBO/cuddle#168 ·
-
genEnum crashes on empty groupOuvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
IntersectMBO/cuddle#167 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 43/100
IntersectMBO/cuddle#223 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
IntersectMBO/cuddle#217 ·
-
Nested generic rules get the wrong argument when the outer rule is instantiated more than onceOuvertebug
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
IntersectMBO/cuddle#215 ·
Toutes les issues de IntersectMBO/cuddle
Issues similaires
-
documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
bittide/bittide-hardware#1357 ·
-
tricorder
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
Les mainteneurs répondent en général sous 1 jour
-
Broken links in the docsOuverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 76/100
wireapp/wire-server#5690 ·
Les mainteneurs répondent en général sous 3 jours
-
bug dependencies
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
alunduil/network-arbitrary#251 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour