Skip to content

fix: print KSorobanError message to stderr before exit - #131

Open
tensorworkerr wants to merge 1 commit into
runtimeverification:masterfrom
tensorworkerr:fix/print-ksorobanerror-to-stderr
Open

fix: print KSorobanError message to stderr before exit#131
tensorworkerr wants to merge 1 commit into
runtimeverification:masterfrom
tensorworkerr:fix/print-ksorobanerror-to-stderr

Commits

Commits on Oct 1, 2026