Module miri::eval

source ·
Expand description

Main evaluator loop and setting up the initial stack frame.


  • Configuration needed to spawn a Miri instance.



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


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