From 7f6d770ddf0a0b64353ce4e47ac03023b6554cd4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Thu, 21 Jul 2022 12:11:01 +0200 Subject: [PATCH] secilc: include segregate attributes in tests MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Christian Göttsche --- secilc/test/policy.cil | 3 +++ 1 file changed, 3 insertions(+) diff --git a/secilc/test/policy.cil b/secilc/test/policy.cil index e6b78618fa..4e1d6b6194 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)