@type script ##################################### # Test perm_group_open_130 ##################################### Pid 2 -> create (User_id 1) (Group_id 1) add_user_to_group (User_id 1) (Group_id 1) Pid 2 -> umask 0o000 Pid 3 -> create (User_id 2) (Group_id 2) add_user_to_group (User_id 2) (Group_id 2) add_user_to_group (User_id 2) (Group_id 1) Pid 3 -> umask 0o000 Pid 2 -> mkdir "/d" 0o755 Pid 2 -> open_close "/d/f" [O_CREAT;O_RDWR] 0o130 Pid 2 -> chown "/d/f" (User_id 1) (Group_id 1) Pid 3 -> open_close "/d/f" [O_RDONLY] Pid 3 -> open_close "/d/f" [O_WRONLY] Pid 3 -> open_close "/d/f" [O_RDWR] Pid 3 -> open_close "/d/f" [O_TRUNC;O_RDONLY] Pid 3 -> open_close "/d/f" [O_TRUNC;O_WRONLY] Pid 3 -> open_close "/d/f" [O_APPEND;O_RDONLY] Pid 3 -> open_close "/d/f" [O_APPEND;O_WRONLY] dump "/"