Check satisfiability of an expression against the base constraints.
(&self, expr: &Bool)
| 374 | |
| 375 | /// Check satisfiability of an expression against the base constraints. |
| 376 | pub fn check_sat(&self, expr: &Bool) -> SatResult { |
| 377 | self.solver.push(); |
| 378 | self.solver.assert(expr); |
| 379 | let result = self.solver.check(); |
| 380 | self.solver.pop(1); |
| 381 | result |
| 382 | } |
| 383 | } |
| 384 | |
| 385 | /// Build a reachability model from the given inputs. |
no test coverage detected