VolumeTracker should deal with Phi nodes appropriately
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 48/100
Direzione di ricerca
Inizia con l’harness di test per il tracciamento dei volumi e il caso di test esistente in tests/assays/probabilistic_pcr.bs. Riproduci lo scenario phi nell’intestazione del ciclo con un uso prima della definizione, quindi traccia il modo in cui il tracker dei volumi gestisce il nodo phi. Il lavoro è completato quando il test aggiunto ha esito positivo e questa struttura di ciclo viene gestita correttamente.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
The volume tracker does not appropriately handle phi nodes.
The issue arises when a phi node exists in a loop header, where there is a use prior to a def, and has the following structure:
before_loop:
a0 = ...
loop_header:
a1 = phi(a0, a1)
loop_body:
... = use a1
A test case has been added to the volume tracking testing harness using tests/assays/probabilistic_pcr.bs as the model.
- Lingua principale
- Python
- Stelle
- 53
- Fork
- 16
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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 lilott8/BioScript
-
update readme Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 62/100
-
Functions are broken Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Finish and verify z3 tests Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
Tutte le issue di lilott8/BioScript
Issue simili
-
area: harness bug status: needs-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Human-Agent-Society/reef#625 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 80/100
learningequality/kolibri#15351 · 2 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Name consistency Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
eellak/triplestore#65 · 1 commento ·