Skip to main content

compile_to_rust_deterministic

Function compile_to_rust_deterministic 

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

Compile in Mode B (deterministic replay): identical to compile_to_rust except a Select lowers to the seeded winner-pick that shares the interpreter’s choice function, so a binary run under LOGOS_SEED=… reproduces the interpreter’s selection. Used by largo build --deterministic and the seeded differential harness. Non-Select emission is unchanged.