Let a use_cfgs entry pin its own tool
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 68/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Stack tecnologico
- python
- Ambito
- build-system
Direzione di ricerca
Inizia tracciando create_instance e _load_child_cfg in flow/base.py attraverso la closure della factory in flow/factory.py, quindi esamina _CMDLINE_FIELDS in flow/hjson.py. Aggiungi la gestione dello strumento per ciascun child, preservando la precedenza della riga di comando e rifiutando le altre chiavi di override, quindi aggiungi un test di regressione del caricamento che mostri che child xcelium e vcformal separati usano le proprie impostazioni dello strumento e i propri percorsi scratch.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Part of lowRISC/dvplan#129.
Running a simulation regression under Xcelium and a formal regression under VC Formal in one invocation is a requirement for the bundle work, and it cannot be expressed today.
tool is the one key a config cannot set for itself once the command line gives it, by way of _CMDLINE_FIELDS in flow/hjson.py. Scalar merging is first-non-default-wins and raises on a genuine conflict, so a config setting tool: vcformal while importing OpenTitan's common_formal_cfg.hjson, which pins tool: jaspergold, fails to load with a conflicting-value error. The only way to select VC Formal is --tool vcformal on the command line, which applies to every config in the invocation.
Scope
- Let a
use_cfgsentry carry atool, seeded into that child'sinitial_values. Becausearg_keysis computed from the keys present ininitial_values, a seeded value wins over every imported file, which is exactly the mechanism--toolalready uses. No changes needed in any OpenTitan or Mocha config. create_instanceand_load_child_cfginflow/base.pytake the per-child overrides, and the factory closure inflow/factory.pyapplies them.--toolon the command line keeps overriding everything, since that is what it is for.- Reject an override for a key other than
toolfor now, so this does not quietly become a general-purpose per-child config channel. That belongs with #36.
Done when
- A primary config with one child pinned to
xceliumand another pinned tovcformalloads, and each child's scratch path and tool config come from its own tool. - A test covers the load, since the failure mode today is a
RuntimeErrorfrom config merging and is easy to reintroduce.
- Lingua principale
- Python
- Stelle
- 15
- Fork
- 22
- Merge medio
- 4g 46m
- PR unite (30g)
- 6
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
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 lowRISC/dvsim
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Better log visibility on the license type usage profileForse già presa @AlexJones0 l’ha presa 11 giorni fa. Aperta
Tutte le issue di lowRISC/dvsim
Issue simili
-
needs triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 83/100
darnitdevorg/darnit#587 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
I maintainer di solito rispondono entro 1 giorno
-
accessibility good first issue
Difficoltà 1/5 1-3 ore Idoneità per principianti 92/100
I maintainer di solito rispondono entro 1 giorno
-
llm translation
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
bug bug-hunt
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 1 giorno