Modules
Enums
- An
AbortLocation
specifies where a Move programabort
occurred, either in a function in a module, or in a script - We don’t derive Arbitrary on this enum because it is too large and breaks proptest. It is written for a subset of these in proptest_types. We test conversion between this and protobuf with a hand-written test.
- A status type is one of 5 different variants, along with a fallback variant in the case that we don’t recognize the status code.
- A
VMStatus
is represented as either