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

Persistent verification status #80

Closed Kukovec closed 1 month ago

Kukovec commented 1 month ago

closes #66

Kukovec commented 1 month ago

Ah, yeah, some of these must've slipped through the cracks because renaming fields on the type declaration doesn't affect ad hoc object fields. I meant to do what you suggested