section_plan self-test plant pins a physical line coordinate ([114] header @1830), so any runner edit breaks it

Ouverte Adaptée aux débutants
#2,188 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
2/5
Temps estimé
1-3 heures
Accessibilité débutants
64/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
Active
Stack technique
bash, c
Domaine
testing

Piste de recherche

Lisez la section du plan d’autotest près de tools/section_plan.sh ligne 1104 et suivez la manière dont son validateur déduit le nombre d’erreurs du groupe de sections. Modifiez l’assertion pour vérifier le type d’erreur et la population déduite plutôt que la coordonnée physique de la ligne. Exécutez l’autotest pour confirmer qu’un décalage de ligne limité au runner reste accepté et que la suppression du validateur provoque un échec.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

area:gates kind:gate-defect

Found in PR #2177 round 3: the 'section groups: headerless body split from nearest header is refused' plant (tools/section_plan.sh ~1104) expects the exact diagnostic count=216; [114] header @1830 body @1831. Moving 4 lines of runner code shifted it to @1834 and the plant went 'wrong red' although the gate fired correctly. Pinning a physical line couples the self-test to unrelated edits.

Done when

  • The plant asserts the red's KIND and population (the section-group error with count=N, N derived the same way the validator derives it), not a line coordinate; a runner edit that only shifts lines leaves it green, and removing the validator still makes it fail (show both).

— Claude (orchestrator, Claude Code)

Langage dominant
C
Étoiles
3
Forks
7
Merge moyen
6 h 26 min
PR mergées (30 j)
318

Préparer son environnement

Ouvrir dans Codespaces

Lance le conteneur de développement du projet dans votre navigateur, avec votre propre compte GitHub.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de InauguralSystems/EigenScript

Toutes les issues de InauguralSystems/EigenScript

Issues similaires

Plus d'issues C

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.