[K-Bug] <pyk coverage runerror>
まだ誰も着手していません。
評価
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 初心者へのやさしさ
- 42/100
- issue の種類
- バグ
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- python
- 領域
- testing-qa, tooling
調査の方向性
Start by reproducing the three commands in the issue, then inspect pyk/main.py around exec_coverage and pyk/kast/manip.py around remove_source_map and on_attributes. Compare the KDefinition.let call with the available definition API; done means the coverage command completes successfully for the reported inputs.
索引モデルが issue の本文から書いたものです。
説明
What component is the issue in?
None
Which command
- kompile
- kast
- krun
- kprove
- kprovex
- ksearch
What K Version?
v7.1.151
Operating System
Linux
K Definitions (If Possible)
No response
Steps to Reproduce
kompile main.k --coverage --emit-json
krun adder.generic.mlir --definition main-kompiled
pyk coverage ../main-kompiled/ 833780_coverage.txt
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'
Expected Results
coverage success
- 主要言語
- Python
- スター
- 598
- フォーク
- 164
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
runtimeverification/k のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 43/100
runtimeverification/k#4942 ·
-
bug
難易度 3/5 半日 初心者へのやさしさ 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyx再び着手できるかも @Stevengre が 123 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/k#4939 · 担当者 1 名 ·
-
Concolic Explorerオープン
難易度 5/5 1週間以上 初心者へのやさしさ 32/100
runtimeverification/k#4937 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
runtimeverification/k#4936 ·
runtimeverification/k の issue をすべて見る
似ている issue
-
The changelog workflow excludes otelbot but not dependabot, so every Dependabot pull request fails the changelog check対応中かも @ocelotl が今日担当しました。 オープン
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
open-telemetry/opentelemetry-python#5825 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
cuga-project/cuga-agent#1020 ·
メンテナーはふだん 2 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 70/100
microsoft/playwright#43640 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
stac-utils/stac-fastapi-elasticsearch-opensearch#965 ·
メンテナーはふだん 2 日以内に返信
-
from-review-extraction library privacy python severity:suggested
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
LearningCircuit/local-deep-research#7951 ·
メンテナーはふだん 2 日以内に返信