Validate artifact contracts after an expected nonzero program exit
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 75/100
Línea de trabajo
El error está en tools/run_tests.py en la función classify_program. Comience leyendo la función para ver dónde se llama a validate_compiled_artifact. La solución es asegurarse de que la validación se ejecute antes de retornar para salidas esperadas distintas de cero. Ejecute el script de reproducción proporcionado para confirmar el problema, luego escriba una prueba unitaria para la rama omitida. Consulte tests/cases/shared/test1.wave para ver un caso de prueba de ejemplo.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Problem
In classify_program in tools/run_tests.py, the expected-nonzero success branch returns before validate_compiled_artifact. A matching exit code can therefore pass a case whose assembly/object requirements fail.
Reproduction
Run this focused unit reproduction from the repository root:
import sys
from dataclasses import replace
from unittest.mock import patch
from tools import run_tests as r
metadata = replace(
r.parse_test_metadata("tests/cases/shared/test1.wave"), expected_exit=42
)
with patch.object(r, "validate_compiled_artifact", return_value="missing assembly marker") as check:
result = r.classify_program(
"audit", "tests/cases/shared/test1.wave",
[sys.executable, "-c", "raise SystemExit(42)"], metadata, None,
)
print(result[0], check.call_count)
Save as /tmp/repro.py; run PYTHONPATH=. python3 /tmp/repro.py. The mock represents a failing artifact requirement.
Tested at 01955d715dda275de993948037091140bb859174 on Fedora Linux 43, x86_64, with Python 3.14.
Actual: PASS (expected exit=42) followed by 3 0, indicating a pass and no validator call. Expected: failure classification 0 and one validator call. Setting both exit values to 0 already produces that expected result.
Completion criteria
- Validate artifact requirements before accepting either expected-zero or expected-nonzero execution.
- Retain the runner's distinct success classifications and actual/expected exit diagnostics.
- Add a unit regression for the skipped branch and an integration case with a real missing assembly marker.
- Keep matching-exit cases with valid artifacts passing.
Compile-only object-presence checking in #514 is separate.
Difficulty: easy.
- Lenguaje dominante
- Rust
- Estrellas
- 56
- Forks
- 21
- Merge medio
- 4 h 19 min
- PR fusionados (30 d)
- 49
Preparar el entorno
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de wavefnd/Wave
-
enhancement good first issue needs testing
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
bug good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
bug good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Los mantenedores suelen responder en 1 día
-
documentation enhancement good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
enhancement good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
Todos los issues de wavefnd/Wave
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
bytecodealliance/rustix#1703 ·
Los mantenedores suelen responder en 3 días
-
bug discussion
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
medialab/xan#1201 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
farion1231/cc-switch#8298 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
ajeetdsouza/zoxide#1323 ·
Los mantenedores suelen responder en 1 día