Struct TranspilerOracle 

pub struct TranspilerOracle<T: Transpiler> { /* private fields */ }

Oracle for verifying transpiler correctness

Implementations

impl<T: Transpiler> TranspilerOracle<T>

pub fn new(transpiler: T) -> Self

Create a new transpiler oracle

pub fn with_timeout(self, timeout_ms: u64) -> Self

Set custom timeout

pub fn with_diff_options(self, options: DiffOptions) -> Self

Set diff options

pub fn without_sandbox(self) -> Self

Disable sandboxing (use with caution)

pub fn verify(&self, source: &str, input: &str) -> TranspilerVerification

Verify a single source program

pub fn verify_batch( &self, sources: &[(String, String)], ) -> (Vec<TranspilerVerification>, VerificationStats)

Verify multiple source programs

pub fn verify_generated( &self, count: usize, max_depth: usize, ) -> (Vec<TranspilerVerification>, VerificationStats)

Generate and verify programs

pub fn transpiler(&self) -> &T

Get reference to the transpiler

Trait Implementations

impl<T: Transpiler> Debug for TranspilerOracle<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.