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

fix: print KSorobanError message to stderr before exit

22e4b2a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs