law watch_error_backs_off

bend-kube-runtime@0.2.0.0 · LAWS.bend:48

import Base
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W

48# A failed watch request (not 410) retries from the same version after a
49# backoff, counting the failure.
50law watch_error_backs_off:
51  for rv: String
52  for f: U32
53  for first: Bool
54  {W.Watcher.step(W.WState{W.WWatch{rv}, f, first}, W.IWatchErr{500})
55    == W.Step{W.WState{W.WWatch{rv}, (f + 1 : U32), False{}}, Nil{}, True{}} : W.Step}