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

Fix hardcoded IDs after testnet reset #106

Closed thpani closed 2 weeks ago

thpani commented 2 weeks ago

Fix hardcoded contract and tx IDs in integration + e2e tests after the Jun 11 testnet reset

Remove the invocation of init() from setter-populate.sh (we now support missing fields #82)

Remove an outdated integration test for Soroban RPC (we now use Horizon #55 #60)