Support all Soroban primitive types

freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache

Apache License 2.0

10 stars 0 forks source link

Support all Soroban primitive types #72

Closed thpani closed 1 month ago

thpani commented 1 month ago

Add support for all Soroban primitive types, plus Bytes, BytesN and Address in the checker.

In addition to the unit tests here, I have an on-chain E2E test based on the setter contract that I'll add in a follow-up PR once all its fields/types are supported.

Next step is to address Map and Vec (#46), then enums and structs (#73).