Module executor 

Modules

calls 🔒

cheatcodes 🔒

constraints 🔒

create 🔒

invariant 🔒

opcodes 🔒

run 🔒

Structs

CallOutcome 🔒

FeasiblePath 🔒

InvariantCheckOutcome 🔒

SequenceCall 🔒

SequencePath 🔒

SequenceStepTemplate 🔒

Enums

CallPathKind 🔒

CallPathOpcode 🔒

CallStatus 🔒

JoinedCallOutcome 🔒