12 lines
101 B
Plaintext
12 lines
101 B
Plaintext
module testpolicy 1.0;
|
|
|
|
type xyz_t;
|
|
role xyz_r;
|
|
|
|
require {
|
|
type xyz_t;
|
|
}
|
|
|
|
role xyz_r types xyz_t;
|
|
|