Signed-off-by: Christian Göttsche <cgzones@xxxxxxxxxxxxxx> --- secilc/test/policy.cil | 3 +++ 1 file changed, 3 insertions(+) diff --git a/secilc/test/policy.cil b/secilc/test/policy.cil index e6b78618..4e1d6b61 100644 --- a/secilc/test/policy.cil +++ b/secilc/test/policy.cil @@ -118,13 +118,16 @@ (typeattribute foo_type) (typeattribute bar_type) (typeattribute baz_type) + (typeattribute bad_type) (typeattribute not_bad_type) (typeattributeset exec_type (or bin_t kernel_t)) (typeattributeset foo_type (and exec_type kernel_t)) (typeattributeset bar_type (xor exec_type foo_type)) (typeattributeset baz_type (not bin_t)) (typeattributeset baz_type (and exec_type (and bar_type bin_t))) + (typeattributeset bad_type (bad_t)) (typeattributeset not_bad_type (not bad_t)) + (segregateattributes (bad_type not_bad_type)) (typealias sbin_t) (typealiasactual sbin_t bin_t) (typepermissive device_t) -- 2.36.1