law granted_never_denied

bend-osdev-apparmor@0.1.0.0 · LAWS.bend:68

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
import bend-osdev-apparmor@0.1.0.0/eval.bend as V

68law granted_never_denied:
69  for gs: List<&2, P.AaGrant>
70  {P.AaPerms.meets(V.AaEval.granted(gs), V.AaEval.denied(gs)) == False{} : Bool}