law capset_bounding_unchanged

bend-osdev-caps@0.1.0.0 · LAWS.bend:165

import Base
import bend-osdev-caps@0.1.0.0/caps.bend as C
import bend-osdev-caps@0.1.0.0/adjust.bend as A

165law capset_bounding_unchanged:
166  for +c: C.CapCred
167  for +e: C.CapSet()
168  for +p: C.CapSet()
169  for +i: C.CapSet()
170  {C.CapState.bounding(C.CapCred.sets(C.Caps.or(A.Caps.capset(c, e, p, i), c))) == C.CapState.bounding(C.CapCred.sets(c)) : C.CapSet()}