Module move_core_types::vm_status[][src]

Modules

Enums

An AbortLocation specifies where a Move program abort 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

Statics

The maximum status code for deserialization statuses

The minimum status code for deserialization statuses

The maximum status code for runtim statuses

The minimum status code for runtime statuses

The maximum status code for invariant violation statuses

The minimum status code for invariant violation statuses

The maximum status code for validation statuses

The minimum status code for validation statuses

The maximum status code for verification statuses

The minimum status code for verification statuses

Type Definitions