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

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 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.