[K-Bug] <pyk coverage runerror>

Valutazione

Direzione di ricerca

Descrizione

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'

Preparare l'ambiente

Come iniziare

1. Leggi tutta la issue e poi la guida ai contributi del progetto.
2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
3. Fai un fork del repository e lavora su un branch.
4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di runtimeverification/k

• Introduce composable symbolic execution interface in pyx

  Forse di nuovo libera @Stevengre l’ha presa 98 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/k#4939 · 1 assegnatario · Aperta il 24/6/2026

• Concolic Explorer

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100

  runtimeverification/k#4937 · Aperta il 18/6/2026

• All-path reachability proof checker

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

  runtimeverification/k#4936 · Aperta il 18/6/2026

• Accelerating all-path reachability proofs with one-path reachability proofs

  Forse di nuovo libera @Stevengre l’ha presa 103 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  type:epic

  runtimeverification/k#4934 · 4 commenti · 1 assegnatario · Aperta il 15/6/2026

• Support progressive depth halving as a generic policy in `Prover.advance_proof`

  Forse di nuovo libera @Stevengre l’ha presa 123 giorni fa e non c’è nessuna pull request aperta. Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  runtimeverification/k#4924 · 1 assegnatario · Aperta il 29/5/2026

Tutte le issue di runtimeverification/k

Issue simili

• Add support for cli completion in git bash for windows

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  customer-reported

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  Azure/azure-cli#34150 · 1 commento · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• docs: fix typo in version selector CSS comment

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  community-request

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100

  NVIDIA-NeMo/Curator#2464 · 1 commento · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• weblate-discover crashes with an unhandled FileNotFoundError when the directory does not exist

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  WeblateOrg/translation-finder#1099 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

• xtask memory usage leaves out sections with names of 15 or more characters

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  trezor/trezor-firmware#7997 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 2 giorni

• TypedTableBlock Duplicate changes the caption to literal undefined

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  wagtail/wagtail#14662 · Aperta il 30/9/2026

  I maintainer di solito rispondono entro 1 giorno

Altre issue su Python