Home | History | Annotate | Download | only in test-deps
      1 module modreq_bool_opt 1.0;
      2 
      3 require { 
      4 	class file {read write};
      5 	
      6 }
      7 
      8 type mod_global_t;
      9 
     10 optional {
     11 	require {
     12 		bool bool_req;
     13 	}
     14 	
     15 	type a_t;
     16 	type b_t;
     17 	type mod_opt_t;
     18 
     19 	if (bool_req) {
     20 		allow a_t b_t : file { read write };
     21 	}
     22 }
     23