Tactic.fail constructor

Tactic.fail(
  1. Context c
)

Creates a tactic that always fails.

Implementation

factory Tactic.fail(Context c) {
  final result = c._z3.tactic_fail();
  return c._getTactic(result);
}