law capset_permitted_never_grows

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

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

158law capset_permitted_never_grows:
159  for +c: C.CapCred
160  for +e: C.CapSet()
161  for +p: C.CapSet()
162  for +i: C.CapSet()
163  {C.CapSet.subset(C.CapState.permitted(C.CapCred.sets(C.Caps.or(A.Caps.capset(c, e, p, i), c))), C.CapState.permitted(C.CapCred.sets(c))) == True{} : Bool}