diff --git a/secilc/test/opt-expected.cil b/secilc/test/opt-expected.cil index 73ac9045..14033f9b 100644 --- a/secilc/test/opt-expected.cil +++ b/secilc/test/opt-expected.cil @@ -9,6 +9,7 @@ (category c01) (categoryorder (c01)) (sensitivitycategory s01 (c01)) +(typeattribute at01) (typeattribute at02) (boolean b01 false) (type tp01) @@ -19,10 +20,12 @@ (type tpr3) (type tpr4) (type tpr5) +(typeattributeset at01 (tp01)) (typeattributeset at02 (tp01 tp02)) (allow at02 tpr1 (cl01 (p01a p01b p11a))) (allow at02 tpr3 (cl01 (p01a p01b p11a))) -(allow tp01 self (cl01 (p01a p01b p11a p11b))) +(allow tp01 at01 (cl01 (p11b))) +(allow tp01 self (cl01 (p01a p01b p11a))) (allow tp01 tpr1 (cl01 (p11b))) (dontaudit at02 tpr2 (cl01 (p01a p01b p11a))) (dontaudit at02 tpr4 (cl01 (p01a p01b p11a)))