Operation: oscstat

BEGIN TEST CASE 13

COMMENT

El conjunto de categorķas del sujeto no incluye al del objeto

STATE PARAMETER s:SFSstate :=

[groups	:=	G,
primaryGrp	:=	PG,
subjectSC	:=	{u :-> [level := N, categs := {A}], rSC, soSC},
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	{o :-> [level := N, categs := {A, B}], bSC},
acl	:=	ACL,
secmat	:=	{},
files	:=	F,
directories	:=	D]

PARAMETER u:SUBJECT

PARAMETER o:OBJECT

END TEST CASE