pub fn add_path_constraint(&mut self, constraint: &il::Expression) -> Result<()> {
        assert!(constraint.bits() == 1);

        let expression_hash = HASH_EXPRESSION_STORE
            .write()
            .unwrap()
            .get_hash(constraint)?;
        self.path_constraints.push(expression_hash);
        Ok(())
    }
/// Add a path constraint to this state
Add a path constraint to this state
Add a path constraint to this state
pub fn add_path_constraint(&mut self, constraint: &il::Expression) -> Result<()> {
        assert!(constraint.bits() == 1);
        let expression_hash = HASH_EXPRESSION_STORE
            .write()
            .unwrap()
            .get_hash(constraint)?;
        self.path_constraints.push(expression_hash);
        Ok(())
    }
pub fn add_path_constraint ( & mut self , constraint : & il :: Expression ) -> Result < ( ) > { assert ! ( constraint bits ( ) 1 ) ; let expression_hash = HASH_EXPRESSION_STORE . write ( ) . unwrap ( ) . get_hash ( constraint ) ? ; self . path_constraints . push ( expression_hash ) ; Ok ( ( ) ) }
Add a path constraint to this state
Add a path constraint to this state
&mut self
constraint
&il::Expression