law done_idle_noop

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

import Base
import bend-kube-runtime@0.2.0.0/src/queue.bend as Q

173# Finishing a key that is not running changes nothing and arms no timer.
174law done_idle_noop:
175  for q: Q.Queue
176  for key: String
177  for a: Q.Action
178  for idle: {Q.Queue.running(q, key) == False{} : Bool}
179  {Q.Queue.done(q, key, a) == (q, Nil{}) : Q.Queue & List<&2, Q.Timer>}