tryFor method

Tactic tryFor(
  1. Duration duration
)

Implementation

Tactic tryFor(Duration duration) {
  final result = _c._z3.tactic_try_for(
    _tactic,
    duration.inMilliseconds,
  );
  return _c._getTactic(result);
}