law policy_exec_vectors

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

import Base
import bend-osdev-apparmor@0.1.0.0/example.bend as EX

298law policy_exec_vectors:
299  {[EX.AaExample.small_exec("/usr/bin/foo", "/bin/x"), EX.AaExample.small_exec("/usr/bin/foo", "/bin/y")] == ["profile bar", "denied (deny)"] : List<&2, String>}