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

Read state from the new fetcher #65

Closed thpani closed 1 month ago

thpani commented 1 month ago

Read state for the checker from the new fetcher

Closes #38, closes #43

This will need more e2e tests for the various types. I will follow up with another PR for that. Aggregate types are todo in #46