Tactic.failIf constructor

Tactic.failIf(
  1. Probe p
)

Creates a tactic that always fails if the given probe returns true.

Implementation

factory Tactic.failIf(Probe p) {
  final c = p._c;
  final result = c._z3.tactic_fail_if(p._probe);
  return c._getTactic(result);
}