blob: c6ecd838f10acaa32db79641afe34421ab2be665 [file] [log] [blame]
module add_symbol_test 1.0;
require { class file { read }; }
role role_a_1;
role role_a_2;
role role_t_1;
role role_t_2;
type type_rt_1;
allow role_a_1 role_a_2;
role_transition role_t_1 type_rt_1 role_t_2;