aclai-lab / aclai-lab/SoleLogics.jl
Check that an Interval is an interval
- Langage dominant
- Julia
- Étoiles
- 20
- Forks
- 7
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
As suggested in the to-do [here](https://github.com/aclai-lab/SoleLogics.jl/blob/d92b61a4f8dc37d3482362e567cf6e653f39755b/src/utils/frames/worlds/geometrical-worlds.jl#L131-L132), I suggest to check that an object of type Interval is, indeed, and interval, not only for debugging, i.e., x
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Piste de recherche
L’issue pointe directement vers `src/utils/frames/worlds/geometrical-worlds.jl` (lignes 131-132). Commencez par ouvrir ce fichier aux lignes indiquées afin de voir le chemin actuel de vérification de l’intervalle et le commentaire/code exact à supprimer. Appliquez la modification suggérée à cet endroit uniquement, puis exécutez les tests du projet (ou les tests du module concerné si vous parvenez à les trouver) pour confirmer l’absence de régressions et vérifier que la logique de vérification de l’intervalle est désormais conforme à l’invariant attendu.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- julia
- Domaine
- backend
- Type d'issue
- Bug
- Difficulté
- 1/5
- Temps estimé
- Moins d'une heure
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 30/100