Tactic.skip constructor

Tactic.skip(
  1. Context c
)

Creates a tactic that just returns the given goal.

Implementation

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