Fetch and instrument the block timestamp, which is available in Soroban as env.ledger().timestamp().
Also modifies and moves around some e2e test assets, to match the repository after running npm run e2e. This is the result of (a) including time stamps and (b) writing back the verification result in verify.
Finally I'm moving an rmSync() call to keep the JSON TLA+ for debugging purposes, in case Apalache fails.
Fetch and instrument the block timestamp, which is available in Soroban as
env.ledger().timestamp().Also modifies and moves around some e2e test assets, to match the repository after running
npm run e2e. This is the result of (a) including time stamps and (b) writing back the verification result inverify.Finally I'm moving an
rmSync()call to keep the JSON TLA+ for debugging purposes, in case Apalache fails.