Method assert

src/analysis/z3_solver.rs:104–109

Add a constraint into the solver

(&self, expression: &Z3Expression)

    /// Add a constraint into the solver
    pub fn assert(&self, expression: &Z3Expression) {
        unsafe {
            let _guard = Z3_MUTEX.lock().unwrap();
            z3_sys::Z3_solver_assert(self.z3_context, self.z3_solver, *expression);
        }
    }

    pub fn make_or_z3_expression(
        &self,