summaryrefslogtreecommitdiff
path: root/tests/policies/test-linker
diff options
context:
space:
mode:
Diffstat (limited to 'tests/policies/test-linker')
-rw-r--r--tests/policies/test-linker/module1.conf7
-rw-r--r--tests/policies/test-linker/module2.conf4
-rw-r--r--tests/policies/test-linker/small-base.conf9
3 files changed, 19 insertions, 1 deletions
diff --git a/tests/policies/test-linker/module1.conf b/tests/policies/test-linker/module1.conf
index 7cfb6cb..2d5fc31 100644
--- a/tests/policies/test-linker/module1.conf
+++ b/tests/policies/test-linker/module1.conf
@@ -19,6 +19,7 @@ type g_m1_type_2;
typeattribute g_m1_type_2 g_m1_attr_1;
#add role in module test
+role g_m1_role_1;
role g_m1_role_1 types g_m1_type_1;
# test for attr declared in base, added to in module
@@ -38,12 +39,15 @@ attribute g_m1_attr_2;
#add type to base role test
role g_b_role_2 types g_m1_type_1;
+role g_b_role_3;
role g_b_role_3 types g_m1_type_2;
#add type to base optional role test
+role o1_b_role_2;
role o1_b_role_2 types g_m1_type_1;
#optional base role w/ adds in 2 modules
+role o4_b_role_1;
role o4_b_role_1 types g_m1_type_2;
# attr a added to in base optional, declared/added to in module, added to in other module
@@ -78,6 +82,7 @@ optional {
type o1_m1_type_2, o1_m1_attr_1;
type o1_m1_type_1;
+ role o1_m1_role_1;
role o1_m1_role_1 types o1_m1_type_1;
type o1_m1_type_3;
@@ -101,6 +106,7 @@ optional {
type tag_o2_m1;
+ role g_b_role_4;
role g_b_role_4 types g_m1_type_2;
}
@@ -112,6 +118,7 @@ optional {
type tag_o3_m1;
type o3_m1_type_1;
+ role o3_b_role_1;
role o3_b_role_1 types o3_m1_type_1;
type o3_m1_type_2, g_b_attr_6;
diff --git a/tests/policies/test-linker/module2.conf b/tests/policies/test-linker/module2.conf
index 3820cb7..7a31109 100644
--- a/tests/policies/test-linker/module2.conf
+++ b/tests/policies/test-linker/module2.conf
@@ -12,6 +12,7 @@ require {
type tag_g_m2;
type g_m2_type_1;
+role g_m2_role_1;
role g_m2_role_1 types g_m2_type_1;
type g_m2_type_4, g_b_attr_5;
@@ -19,9 +20,11 @@ type g_m2_type_5, g_b_attr_6;
#add types to role declared in base test
type g_m2_type_2;
+role g_b_role_3;
role g_b_role_3 types g_m2_type_2;
#optional base role w/ adds in 2 modules
+role o4_b_role_1;
role o4_b_role_1 types g_m2_type_1;
# attr a added to in base optional, declared/added to in module, added to in other module
@@ -45,6 +48,7 @@ optional {
type tag_o1_m2;
type o1_m2_type_1;
+ role o1_m2_role_1;
role o1_m2_role_1 types o1_m2_type_1;
}
diff --git a/tests/policies/test-linker/small-base.conf b/tests/policies/test-linker/small-base.conf
index 2f166c9..3a66f91 100644
--- a/tests/policies/test-linker/small-base.conf
+++ b/tests/policies/test-linker/small-base.conf
@@ -435,6 +435,10 @@ type g_b_type_1, g_b_attr_1;
type g_b_type_2, g_b_attr_2;
type g_b_type_3;
+role g_b_role_1;
+role g_b_role_2;
+role g_b_role_3;
+role g_b_role_4;
role g_b_role_1 types g_b_type_1;
role g_b_role_2 types g_b_type_2;
role g_b_role_3 types g_b_type_2;
@@ -464,8 +468,9 @@ optional {
attribute o1_b_attr_1;
type o1_b_type_1, o1_b_attr_1;
bool o1_b_bool_1 true;
+ role o1_b_role_1;
role o1_b_role_1 types o1_b_type_1;
-
+ role o1_b_role_2;
role o1_b_role_2 types o1_b_type_1;
attribute o1_b_attr_2;
@@ -501,6 +506,7 @@ optional {
type o3_b_type_1;
bool o3_b_bool_1 true;
+ role o3_b_role_1;
role o3_b_role_1 types o3_b_type_1;
allow g_b_type_1 invalid_type : sem { create destroy };
@@ -519,6 +525,7 @@ optional {
attribute o4_b_attr_1;
+ role o4_b_role_1;
role o4_b_role_1 types g_m1_type_1;
# test for attr declared in module optional, added to in base optional