Module executor 

Modules

calls 🔒

cheatcodes 🔒

constraints 🔒

create 🔒

invariant 🔒

opcodes 🔒

run 🔒

Functions

pop_batch 🔒

Pops the current path from a local batch according to the configured exploration order.

pop_worklist 🔒

Pops the next pending path according to the configured exploration order.

spill_batch 🔒

Spills the remaining local batch onto the global worklist in scheduler order.