Skip to main content

compile_to_rust_deterministic

Function compile_to_rust_deterministic 

Source
pub fn compile_to_rust_deterministic(source: &str) -> Result<String, ParseError>
Expand description

Compile for deterministic replay: identical to compile_to_rust for a program that never touches the scheduler; a program that does runs its tasks, pipes, timers and selects on logicaffeine_system::replay, the interpreter’s scheduler ported, so a binary run under LOGOS_SEED=… prints what the interpreter prints at that seed. Used by the seeded differential harness.