Trait SourceSemantics 

pub trait SourceSemantics {
    // Required method
    fn encode_op(&self, op_name: &str, inputs: &[BV]) -> Option<BV>;
}

Encodes source (WASM) operation semantics as SMT formulas

Required Methods

fn encode_op(&self, op_name: &str, inputs: &[BV]) -> Option<BV>

Encode a source operation, returning the result as a bitvector

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors