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 additional env #84

Closed thpani closed 3 weeks ago

thpani commented 1 month ago

In addition to height and timestamp, we should instrument the contract address and the method name into the monitor spec.