blob: 43a3f97ae78a91e92a85bf9414d2f02d20cbe6c3 [file] [log] [blame]
module modreq_perm_opt 1.0;
require {
class file { read write };
}
type mod_global_t;
optional {
require {
class msg { send receive };
}
type mod_opt_t;
type a_mod_t;
type b_mod_t;
allow a_mod_t b_mod_t: msg { send receive };
}