Operation: owner_close

BEGIN TEST CASE 17

COMMENT

El solicitante es dueño, el segundo usuario también, el objeto no existe.

STATE PARAMETER s:SFSstate :=

[groups	:=	G3,
primaryGrp	:=	PG3,
subjectSC	:=	SSC2,
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	OSC2,
acl	:=	{o :-> [owner := u, group := g1, UserReaders := {u1, u2}, GroupReaders := {}, UserWriters := {}, GroupWriters := {AG}, UserOwners := {u}, GroupOwners := {RG}], o1 :-> aclo1, o2 :-> aclo2, o3 :-> aclo3, barra :-> acl/},
secmat	:=	{o :-> [ActReaders := {u2}, ActWriters := {u1,u2}], o3 :-> [ActReaders := {u2}, ActWriters := {u2}]},
files	:=	F2,
directories	:=	D2]

PARAMETER u, u₁:SUBJECT

PARAMETER o_f:OBJECT

END TEST CASE