[K-Bug] Kompile silently allows files with the same name to exist in multiple include directories
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
Línea de trabajo
Start with the pyk library's include-directory sorting and the kompile front end, then reproduce the collision using the wasm-semantics and skribe definitions referenced in the issue. Done means kompile rejects duplicate files reached through requires, or at minimum emits a warning instead of silently depending on directory order.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
What component is the issue in?
Front-End
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.276
Operating System
Linux
K Definitions (If Possible)
See runtimeverification/wasm-semantics#732 and https://github.com/runtimeverification/skribe/pull/23/commits/9a106191258cba3c5cf673300d0a58b5e31548eb
Steps to Reproduce
The include directories are sorted prior to being passed to kompile in the pyk library. Due to the different nix build directory on MacOS compared to Linux (/private/tmp/nix-build-skribe-dirty.drv-1/source/kdist-fb9c790/... <-> /build/source/kdist-5b094bf/...), the skribe kdist build dependencies were passed last on nix MacOS compared to being passed first on nix Linux. Therefore, due to a file having the same name in wasm-semantics and in skribe-semantics, the nix build succeeded on Linux and failed on MacOS.
Expected Results
The build should fail if a file that is included via the requires keyword exists in multiple places. At the very least, a warning should be generated.
- 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 125 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
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
pydot/pydot#601 · 4 comentarios ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
letsencrypt/cp-cps#361 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
-
CI: startup_failure because callers grant fewer permissions than ledger-app-workflows@v1 declaresPosiblemente ocupada @maykonmichel la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
LedgerHQ/app-boilerplate-rust#227 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
linuxmint/mintupdate#1107 ·