secilc: include segregate attributes in tests

Signed-off-by: Christian Göttsche <[email protected]>
SELinuxProject · Jul 21, 2022 · 7f6d770 · 7f6d770
1 parent 73d206b
commit 7f6d770
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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)