Skip to content

Print KSorobanError message to stderr#92

Open
aolieman wants to merge 3 commits into
runtimeverification:masterfrom
aolieman:print-ksoroban-error
Open

Print KSorobanError message to stderr#92
aolieman wants to merge 3 commits into
runtimeverification:masterfrom
aolieman:print-ksoroban-error

Merge branch 'master' into print-ksoroban-error

a2e068b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
Version Bump
failed Apr 24, 2026 in 9s