Struct isla_axiomatic::litmus::Litmus

pub struct Litmus<B> {
    pub name: String,
    pub hash: Option<String>,
    pub symbolic_addrs: HashMap<String, u64>,
    pub symbolic_locations: HashMap<String, u64>,
    pub symbolic_sizeof: HashMap<String, u32>,
    pub assembled: Vec<AssembledThread<B>>,
    pub sections: Vec<(u64, Vec<u8>)>,
    pub self_modify_regions: Vec<Region<B>>,
    pub objdump: String,
    pub final_assertion: Exp,
}

Fields

name: String

hash: Option<String>

symbolic_addrs: HashMap<String, u64>

symbolic_locations: HashMap<String, u64>

symbolic_sizeof: HashMap<String, u32>

assembled: Vec<AssembledThread<B>>

sections: Vec<(u64, Vec<u8>)>

self_modify_regions: Vec<Region<B>>

objdump: String

final_assertion: Exp

Implementations

impl<B: BV> Litmus<B>

pub fn log(&self)

pub fn parse(
    contents: &str,
    symtab: &Symtab<'_>,
    isa: &ISAConfig<B>
) -> Result<Self, String>

pub fn from_file<P>(
    path: P,
    symtab: &Symtab<'_>,
    isa: &ISAConfig<B>
) -> Result<Self, String> where
    P: AsRef<Path>,