search

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Instrument function return value #88

Open thpani opened 4 weeks ago

thpani commented 4 weeks ago

We should make the invoked function's return value available in the monitor spec.

See #87 for a draft PR.