Closed thpani closed 1 month ago
Add support for custom types (struct, enum) in the checker. The JSDoc on tlaJsonOfNative() explains how the mapping to Apalache types works in detail.
struct
enum
tlaJsonOfNative()
Adds an E2E test, with transactions pre-fetched from the setter contract.
Also, extends the setter contract with an init function, so we can test the checker with fully initialized fields.
init
Closes #73
Add support for custom types (
struct
,enum
) in the checker. The JSDoc ontlaJsonOfNative()
explains how the mapping to Apalache types works in detail.Adds an E2E test, with transactions pre-fetched from the setter contract.
Also, extends the setter contract with an
init
function, so we can test the checker with fully initialized fields.Closes #73