First | Previous test case | Next test case | Last | Test case index | Constants | Operations

Operation: create

BEGIN TEST CASE 10
COMMENT
El archivo ya existe como archivo.
STATE PARAMETER s:SFSstate :=
[groups := G3,
primaryGrp := PG3,
subjectSC := SSC2,
AllGrp := AG,
RootGrp := RG,
SecAdmGrp := SAG,
objectSC := OSC2,
acl := ACL2,
secmat := {},
files :=
{o :-> fc1,
o1 :-> fc1,
o2 :-> fc1,
o3 :-> fc1,
(p,File) :-> fc1},
directories := {barra :-> < o.1, o1.1, o2.1, o3.1, p> }
]
PARAMETER u:SUBJECT
PARAMETER p:OBJNAME
PARAMETER perms1:PERMS
END TEST CASE