RepoMirrors/setools
1
0
Fork 0
mirror of https://github.com/SELinuxProject/setools synced 2025-04-23 23:55:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix conditional rules in SELinuxPolicy test policy.

Browse Source 
Adjust so no optimization can be made (with a theoretical future
optimizing compiler)
This commit is contained in:
Chris PeBenito 2015-03-03 14:12:34 -05:00
parent af3c5b5e3e
commit f7f0b96a6b
1 changed files with 66 additions and 66 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

132
tests/policyrep/selinuxpolicy.conf
View File

@ -1083,72 +1083,72 @@ role_transition role79 type0:infoflow role78;
# 113 allow rules # 113 allow rules
if ( bool0 ) { allow type0 type0:infoflow low_none; } if ( bool0 ) { allow type0 type0:infoflow low_none; }
if ( bool1 ) { allow type0 type0:infoflow low_none; } if ( bool1 ) { allow type1 type1:infoflow low_none; }
if ( bool2 ) { allow type0 type0:infoflow low_none; } if ( bool2 ) { allow type2 type2:infoflow low_none; }
if ( bool3 ) { allow type0 type0:infoflow low_none; } if ( bool3 ) { allow type3 type3:infoflow low_none; }
if ( bool4 ) { allow type0 type0:infoflow low_none; } if ( bool4 ) { allow type4 type4:infoflow low_none; }
if ( bool5 ) { allow type0 type0:infoflow low_none; } if ( bool5 ) { allow type5 type5:infoflow low_none; }
if ( bool6 ) { allow type0 type0:infoflow low_none; } if ( bool6 ) { allow type6 type6:infoflow low_none; }
if ( bool7 ) { allow type0 type0:infoflow low_none; } if ( bool7 ) { allow type7 type7:infoflow low_none; }
if ( bool8 ) { allow type0 type0:infoflow low_none; } if ( bool8 ) { allow type8 type8:infoflow low_none; }
if ( bool9 ) { allow type0 type0:infoflow low_none; } if ( bool9 ) { allow type9 type9:infoflow low_none; }
if ( bool10 ) { allow type0 type0:infoflow low_none; } if ( bool10 ) { allow type10 type10:infoflow low_none; }
if ( bool11 ) { allow type0 type0:infoflow low_none; } if ( bool11 ) { allow type11 type11:infoflow low_none; }
if ( bool12 ) { allow type0 type0:infoflow low_none; } if ( bool12 ) { allow type12 type12:infoflow low_none; }
if ( bool13 ) { allow type0 type0:infoflow low_none; } if ( bool13 ) { allow type13 type13:infoflow low_none; }
if ( bool14 ) { allow type0 type0:infoflow low_none; } if ( bool14 ) { allow type14 type14:infoflow low_none; }
if ( bool15 ) { allow type0 type0:infoflow low_none; } if ( bool15 ) { allow type15 type15:infoflow low_none; }
if ( bool16 ) { allow type0 type0:infoflow low_none; } if ( bool16 ) { allow type16 type16:infoflow low_none; }
if ( bool17 ) { allow type0 type0:infoflow low_none; } if ( bool17 ) { allow type17 type17:infoflow low_none; }
if ( bool18 ) { allow type0 type0:infoflow low_none; } if ( bool18 ) { allow type18 type18:infoflow low_none; }
if ( bool19 ) { allow type0 type0:infoflow low_none; } if ( bool19 ) { allow type19 type19:infoflow low_none; }
if ( bool20 ) { allow type0 type0:infoflow low_none; } if ( bool20 ) { allow type20 type20:infoflow low_none; }
if ( bool21 ) { allow type0 type0:infoflow low_none; } if ( bool21 ) { allow type21 type21:infoflow low_none; }
if ( bool22 ) { allow type0 type0:infoflow low_none; } if ( bool22 ) { allow type22 type22:infoflow low_none; }
if ( bool23 ) { allow type0 type0:infoflow low_none; } if ( bool23 ) { allow type23 type23:infoflow low_none; }
if ( bool24 ) { allow type0 type0:infoflow low_none; } if ( bool24 ) { allow type24 type24:infoflow low_none; }
if ( bool25 ) { allow type0 type0:infoflow low_none; } if ( bool25 ) { allow type25 type25:infoflow low_none; }
if ( bool26 ) { allow type0 type0:infoflow low_none; } if ( bool26 ) { allow type26 type26:infoflow low_none; }
if ( bool27 ) { allow type0 type0:infoflow low_none; } if ( bool27 ) { allow type27 type27:infoflow low_none; }
if ( bool28 ) { allow type0 type0:infoflow low_none; } if ( bool28 ) { allow type28 type28:infoflow low_none; }
if ( bool29 ) { allow type0 type0:infoflow low_none; } if ( bool29 ) { allow type29 type29:infoflow low_none; }
if ( bool30 ) { allow type0 type0:infoflow low_none; } if ( bool30 ) { allow type30 type30:infoflow low_none; }
if ( bool31 ) { allow type0 type0:infoflow low_none; } if ( bool31 ) { allow type31 type31:infoflow low_none; }
if ( bool32 ) { allow type0 type0:infoflow low_none; } if ( bool32 ) { allow type32 type32:infoflow low_none; }
if ( bool33 ) { allow type0 type0:infoflow low_none; } if ( bool33 ) { allow type33 type33:infoflow low_none; }
if ( bool34 ) { allow type0 type0:infoflow low_none; } if ( bool34 ) { allow type34 type34:infoflow low_none; }
if ( bool35 ) { allow type0 type0:infoflow low_none; } if ( bool35 ) { allow type35 type35:infoflow low_none; }
if ( bool36 ) { allow type0 type0:infoflow low_none; } if ( bool36 ) { allow type36 type36:infoflow low_none; }
if ( bool37 ) { allow type0 type0:infoflow low_none; } if ( bool37 ) { allow type37 type37:infoflow low_none; }
if ( bool38 ) { allow type0 type0:infoflow low_none; } if ( bool38 ) { allow type38 type38:infoflow low_none; }
if ( bool39 ) { allow type0 type0:infoflow low_none; } if ( bool39 ) { allow type39 type39:infoflow low_none; }
if ( bool40 ) { allow type0 type0:infoflow low_none; } if ( bool40 ) { allow type40 type40:infoflow low_none; }
if ( bool41 ) { allow type0 type0:infoflow low_none; } if ( bool41 ) { allow type41 type41:infoflow low_none; }
if ( bool42 ) { allow type0 type0:infoflow low_none; } if ( bool42 ) { allow type42 type42:infoflow low_none; }
if ( bool43 ) { allow type0 type0:infoflow low_none; } if ( bool43 ) { allow type43 type43:infoflow low_none; }
if ( bool44 ) { allow type0 type0:infoflow low_none; } if ( bool44 ) { allow type44 type44:infoflow low_none; }
if ( bool45 ) { allow type0 type0:infoflow low_none; } if ( bool45 ) { allow type45 type45:infoflow low_none; }
if ( bool46 ) { allow type0 type0:infoflow low_none; } if ( bool46 ) { allow type46 type46:infoflow low_none; }
if ( bool47 ) { allow type0 type0:infoflow low_none; } if ( bool47 ) { allow type47 type47:infoflow low_none; }
if ( bool48 ) { allow type0 type0:infoflow low_none; } if ( bool48 ) { allow type48 type48:infoflow low_none; }
if ( bool49 ) { allow type0 type0:infoflow low_none; } if ( bool49 ) { allow type49 type49:infoflow low_none; }
if ( bool50 ) { allow type0 type0:infoflow low_none; } if ( bool50 ) { allow type50 type50:infoflow low_none; }
if ( bool51 ) { allow type0 type0:infoflow low_none; } if ( bool51 ) { allow type51 type51:infoflow low_none; }
if ( bool52 ) { allow type0 type0:infoflow low_none; } if ( bool52 ) { allow type52 type52:infoflow low_none; }
if ( bool53 ) { allow type0 type0:infoflow low_none; } if ( bool53 ) { allow type53 type53:infoflow low_none; }
if ( bool54 ) { allow type0 type0:infoflow low_none; } if ( bool54 ) { allow type54 type54:infoflow low_none; }
if ( bool55 ) { allow type0 type0:infoflow low_none; } if ( bool55 ) { allow type55 type55:infoflow low_none; }
if ( bool56 ) { allow type0 type0:infoflow low_none; } if ( bool56 ) { allow type56 type56:infoflow low_none; }
if ( bool57 ) { allow type0 type0:infoflow low_none; } if ( bool57 ) { allow type57 type57:infoflow low_none; }
if ( bool58 ) { allow type0 type0:infoflow low_none; } if ( bool58 ) { allow type58 type58:infoflow low_none; }
if ( bool59 ) { allow type0 type0:infoflow low_none; } if ( bool59 ) { allow type59 type59:infoflow low_none; }
if ( bool60 ) { allow type0 type0:infoflow low_none; } if ( bool60 ) { allow type60 type60:infoflow low_none; }
if ( bool61 ) { allow type0 type0:infoflow low_none; } if ( bool61 ) { allow type61 type61:infoflow low_none; }
if ( bool62 ) { allow type0 type0:infoflow low_none; } if ( bool62 ) { allow type62 type62:infoflow low_none; }
if ( bool63 ) { allow type0 type0:infoflow low_none; } if ( bool63 ) { allow type63 type63:infoflow low_none; }
if ( bool64 ) { allow type0 type0:infoflow low_none; } if ( bool64 ) { allow type64 type64:infoflow low_none; }
if ( bool65 ) { allow type0 type0:infoflow low_none; } if ( bool65 ) { allow type65 type65:infoflow low_none; }
if ( bool66 ) { allow type0 type0:infoflow low_none; } if ( bool66 ) { allow type66 type66:infoflow low_none; }
allow type67 type67:infoflow low_none; allow type67 type67:infoflow low_none;
allow type68 type68:infoflow low_none; allow type68 type68:infoflow low_none;
allow type69 type69:infoflow low_none; allow type69 type69:infoflow low_none;