tryFor method

Tactic tryFor(
  1. Duration duration
)

Returns a tactic that applies this for the given duration.

Implementation

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