law forget_running_keeps

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

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

181# Forgetting never disturbs a key that is running.
182law forget_running_keeps:
183  for q: Q.Queue
184  for key: String
185  for running: {Q.Queue.running(q, key) == True{} : Bool}
186  {Q.Queue.forget(q, key) == q : Q.Queue}