• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1module modreq_bool_opt 1.0;
2
3require {
4	class file {read write};
5
6}
7
8type mod_global_t;
9
10optional {
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