Valstack Bug
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 35/100
Direzione di ricerca
Inizia con il caso di test nell’issue e traccia il comportamento delle asserzioni dello stack del backend Java quando il valstack contiene lo stato #take mostrato. Confronta questo risultato con l’output del backend OCaml; il lavoro è completato quando le asserzioni non valide non hanno tutte esito positivo e il backend OCaml stampa la configurazione completa.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
I have a test case:
(module
(func (export "unmatch") (result i32) (i64.const 700))
)
(invoke "unmatch")
#assertTopStackExactly < i32 > 123 "dummy test 1"
#assertTopStack < i32 > 456 "dummy test 1"
#clearConfig
The return type of function "unmatch" is not matched with the top of stack, so instead of returning a value, it will keep a #take ( i32 .ValTypes , < i64 > 700 : .ValStack ) ++ .ValStack on the <valstack>.
The interesting thing is that when using Java backend if the <valstack> is at the state above, any stack assertion will pass no matter what value you assert, therefore all assertions becomes useless.
Also, the output of the program above with Ocaml backend is also abnormal. All it outputs is:
#take ( i32 .ValTypes , < i64 > 700 : .ValStack )
, but I think it should output the whole configuration.
- Lingua principale
- WebAssembly
- Stelle
- 106
- Fork
- 24
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di runtimeverification/wasm-semantics
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
-
Improve tokenisation supportAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
Tutte le issue di runtimeverification/wasm-semantics
Issue simili
-
bug good-title pdd
Difficoltà 2/5 Meno di un'ora Idoneità per principianti 82/100
objectionary/phino#1630 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 4 giorni
-
clang:driver
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
llvm/llvm-project#227780 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno