Expand description
Main evaluator loop and setting up the initial stack frame.
Structs
- Configuration needed to spawn a Miri instance.
Enums
- The state of the main thread. Implementation detail of
on_main_stack_empty
.
Constants
- When the main thread would exit, we will yield to any other thread that is ready to execute. But we must only do that a finite number of times, or a background thread running
loop {}
will hang the program.
Functions
- Turns an array of arguments into a Windows command line string.
- Returns a freshly created
InterpCx
. Public because this is also used bypriroda
. - Evaluates the entry function specified by
entry_id
. ReturnsSome(return_code)
if program executed completed. ReturnsNone
if an evaluation error occurred.