Cannot supply custom `--kore-rpc-command` to `kevm foundry-prove`

評価

調査の方向性

説明

cd test/foundry
...
$ kevm foundry-prove --verbose --test AccountParamsTest.testDealConcrete --kore-rpc-command 'kore–rpc'
...
INFO 2023-08-23 12:10:40,636 pyk.kore.rpc - Starting KoreServer: kore–rpc out/kompiled/definition.kore --module FOUNDRY-MAIN --server-port 0 --smt-timeout 300 --smt-retry-limit 10
...
FileNotFoundError: [Errno 2] No such file or directory: 'kore–rpc'

$ kevm foundry-prove --verbose --test AccountParamsTest.testDealConcrete --kore-rpc-command '/nix/store/<LONG_STRING>/bin/kore–rpc'
...Normal output...

環境構築

はじめの一歩

1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
3. リポジトリをフォークし、ブランチを切って変更します。
4. issue 番号を参照したプルリクエストを送ります。

runtimeverification/evm-semantics のほかの issue

• README setup instructions appear outdated

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 1/5 1時間未満 初心者へのやさしさ 78/100

  runtimeverification/evm-semantics#1190 · 2022年2月8日 に作成

• Support EIP-7918 across BPO/blob-schedule transitions

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 45/100

  runtimeverification/evm-semantics#2879 · 2026年9月7日 に作成

• Avoid `require` clause if the given patterns are known to be concrete

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/evm-semantics#2869 · 2026年6月24日 に作成

• Investigate conformance tests running out of memory.

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 35/100

  runtimeverification/evm-semantics#2832 · 2025年12月16日 に作成

• Update legacy-tests across test-suites

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 4/5 3〜5日 初心者へのやさしさ 30/100

  runtimeverification/evm-semantics#2824 · 2025年12月11日 に作成

runtimeverification/evm-semantics の issue をすべて見る

似ている issue

• blame skips every file an agent changed inside a Claude Code worktree: .claude/worktrees paths count as the agent's own files

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 2/5 1〜3時間 初心者へのやさしさ 84/100

  vshulcz/deja-vu#4164 · 2026年10月1日 に作成

  メンテナーはふだん 1 日以内に返信

• [Bug]: `hermes update` fetch failure prints only the first git stderr line — real signature hidden, generic message misleads toward network

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  area/install-update comp/cli P3 platform/windows sweeper:risk-compatibility sweeper:risk-platform-windows type/bug

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  NousResearch/hermes-agent#130071 · 2026年10月1日 に作成

  メンテナーはふだん 1 日以内に返信

• `tx edit` fails on transaction XDR that is wrapped across multiple lines

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  bug

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  stellar/stellar-cli#2773 · 2026年10月1日 に作成

  メンテナーはふだん 2 日以内に返信

• `config transferd install` just prints help

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル

  難易度 2/5 1〜3時間 初心者へのやさしさ 68/100

  IBM/aspera-cli#265 · 2026年10月1日 に作成

• [perf-scan] 2026-10-01 -- performance opportunities found

  オープン

  ⋯この Issue の問題を報告

  • 何か問題がありますか？

  • すでに着手されている
  • 初心者向けではない
  • 古い・無効
  • その他…
  • 送信 キャンセル
  type/automation type/performance

  難易度 2/5 1〜3時間 初心者へのやさしさ 78/100

  microsoft/apm#3124 · 2026年10月1日 に作成

  メンテナーはふだん 1 日以内に返信

CLI の issue をもっと見る