Module miri::eval

source ·
Expand description

Main evaluator loop and setting up the initial stack frame.

Structs

Configuration needed to spawn a Miri instance.

Enums

Functions

Turns an array of arguments into a Windows command line string.
Returns a freshly created InterpCx, along with an MPlaceTy representing the location where the return value of the start function will be written to. Public because this is also used by priroda.
Evaluates the entry function specified by entry_id. Returns Some(return_code) if program executed completed. Returns None if an evaluation error occurred.