failIfNotDecided method

Tactic failIfNotDecided()

Implementation

Tactic failIfNotDecided() {
  final result = _c._z3.tactic_fail_if_not_decided();
  return _c._getTactic(result);
}