Struct CombinedSemanticOracle 

pub struct CombinedSemanticOracle {
    pub ast_oracle: AstSemanticOracle,
    pub formal_oracle: Option<FormalVerificationOracle>,
    pub formal_threshold: f64,
}

Combined semantic oracle

Fields

ast_oracle: AstSemanticOracle

AST-based oracle

formal_oracle: Option<FormalVerificationOracle>

Formal verification oracle (optional)

formal_threshold: f64

Minimum AST similarity to consider formal verification

Implementations

impl CombinedSemanticOracle

pub fn with_formal_verification(max_bound: usize, timeout_ms: u64) -> Self

Create with formal verification enabled

Trait Implementations

impl Debug for CombinedSemanticOracle

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

Formats the value using the given formatter.

impl Default for CombinedSemanticOracle

fn default() -> Self

Returns the “default value” for a type.

impl SemanticOracle for CombinedSemanticOracle

fn check_equivalence(&self, source: &str, target: &str) -> SemanticVerdict

Check semantic equivalence between source and target

fn ast_similarity(&self, source: &str, target: &str) -> f64

Calculate AST similarity score

fn compare_memory(&self, source: &str, target: &str) -> bool

Compare memory layouts

fn compare_performance(&self, source: &str, target: &str) -> Option<f64>

Compare performance profiles