Trait SemanticOracle 

pub trait SemanticOracle: Send + Sync {
    // Required methods
    fn check_equivalence(&self, source: &str, target: &str) -> SemanticVerdict;
    fn ast_similarity(&self, source: &str, target: &str) -> f64;
    fn compare_memory(&self, source: &str, target: &str) -> bool;
    fn compare_performance(&self, source: &str, target: &str) -> Option<f64>;
}

Semantic oracle trait

Required Methods

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

Implementors

impl SemanticOracle for AstSemanticOracle

impl SemanticOracle for CombinedSemanticOracle

impl SemanticOracle for FormalVerificationOracle