Trait Oracle 

pub trait Oracle: Send + Sync {
    // Required methods
    fn execute_source(&self, code: &str, input: &str) -> Result<ExecutionResult>;
    fn execute_target(&self, code: &str, input: &str) -> Result<ExecutionResult>;
    fn compare(
        &self,
        source: &ExecutionResult,
        target: &ExecutionResult,
    ) -> Verdict;

    // Provided method
    fn timeout_ms(&self) -> u64 { ... }
}

Verification oracle trait

Standardized oracle interface enables cross-transpiler comparison.

Required Methods

fn execute_source(&self, code: &str, input: &str) -> Result<ExecutionResult>

Execute source code and return result

Errors

Returns an error if execution fails

fn execute_target(&self, code: &str, input: &str) -> Result<ExecutionResult>

Execute target code and return result

Errors

Returns an error if execution fails

fn compare(&self, source: &ExecutionResult, target: &ExecutionResult) -> Verdict

Compare source and target execution results

Provided Methods

fn timeout_ms(&self) -> u64

Get the timeout for execution in milliseconds

Implementors

impl Oracle for IoOracle