[K-Bug] <pyk coverage runerror>
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 42/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- python
- Área
- testing-qa, tooling
Línea de trabajo
Start by reproducing the three commands in the issue, then inspect pyk/main.py around exec_coverage and pyk/kast/manip.py around remove_source_map and on_attributes. Compare the KDefinition.let call with the available definition API; done means the coverage command completes successfully for the reported inputs.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
What component is the issue in?
None
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.151
Operating System
Linux
K Definitions (If Possible)
No response
Steps to Reproduce
kompile main.k --coverage --emit-json
krun adder.generic.mlir --definition main-kompiled
pyk coverage ../main-kompiled/ 833780_coverage.txt
Traceback (most recent call last):
File "/home/zjh/proj/cym-circt-semantics/.venv/bin/pyk", line 8, in <module>
sys.exit(main())
File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/__main__.py", line 98, in main
execute(options)
File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/__main__.py", line 394, in exec_coverage
definition = remove_source_map(read_kast_definition(kompiled_dir / 'compiled.json'))
File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/kast/manip.py", line 567, in remove_source_map
return on_attributes(definition, lambda att: att.drop_source())
File "/home/zjh/proj/cym-circt-semantics/.venv/lib/python3.10/site-packages/pyk/kast/manip.py", line 503, in on_attributes
return kast.let(modules=modules) # type: ignore
TypeError: KDefinition.let() got an unexpected keyword argument 'modules'
Expected Results
coverage success
- Lenguaje dominante
- Python
- Estrellas
- 598
- Forks
- 164
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
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 runtimeverification/k
-
Dificultad 4/5 3-5 días Aptitud para principiantes 43/100
runtimeverification/k#4942 ·
-
bug
Dificultad 3/5 Medio día Aptitud para principiantes 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxQuizá libre de nuevo @Stevengre la tomó hace 123 días y no hay ningún pull request abierto. Abierto
runtimeverification/k#4939 · 1 asignado ·
-
Concolic ExplorerAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
runtimeverification/k#4937 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
runtimeverification/k#4936 ·
Todos los issues de runtimeverification/k
Issues similares
-
intake mcp-intake needs-ac needs-human-review priority:medium
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
Ikalus1988/MisakaNet#3848 · 2 comentarios ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 75/100
521xueweihan/HelloGitHub#4105 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
igormcsouza/bookloud#54 ·
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
aws-samples/sample-per-model-bedrock#526 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
ok-oldking/ok-wuthering-waves#1802 ·
Los mantenedores suelen responder en 2 días