Struct IoOracle 

pub struct IoOracle { /* private fields */ }

Default I/O-based verification oracle

Implementations

impl IoOracle

pub fn new() -> Self

Create a new I/O oracle with default settings (Python source)

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

Create an I/O oracle with custom timeout

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

Set diff options for comparison

pub fn with_source_executor(self, executor: Box<dyn Executor>) -> Self

Set the source language executor

pub fn with_target_executor(self, executor: Box<dyn Executor>) -> Self

Set the target language executor

pub fn verify( &self, source_code: &str, target_code: &str, input: &str, source_lang: Language, target_lang: Language, ) -> Result<VerificationResult>

Verify transpilation correctness

Errors

Returns an error if verification fails

pub fn verify_python( &self, code: &str, expected_output: &str, ) -> Result<DiffResult>

Execute Python code and verify against expected output

Errors

Returns an error if execution fails

pub fn verify_python_with_input( &self, code: &str, input: &str, expected_output: &str, ) -> Result<DiffResult>

Execute Python code and verify against expected output with input

Errors

Returns an error if execution fails

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

Execute code and return raw result

Errors

Returns an error if execution fails

pub fn diff_options(&self) -> &DiffOptions

Get diff options

Trait Implementations

impl Debug for IoOracle

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

Formats the value using the given formatter.

impl Default for IoOracle

fn default() -> Self

Returns the “default value” for a type.

impl Oracle for IoOracle

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

Execute source code and return result

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

Execute target code and return result

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

Compare source and target execution results

fn timeout_ms(&self) -> u64

Get the timeout for execution in milliseconds