# processing file 'perm_other_open_001-int.trace' ... @type trace ##################################### # Test perm_other_open_001 ##################################### 6: Pid 2 -> create (User_id 1) (Group_id 1) 7: add_user_to_group (User_id 1) (Group_id 1) Tau RV_none 8: Pid 2 -> umask 0o000 Tau Pid 2 <- RV_file_perm(0o022) 10: Pid 3 -> create (User_id 2) (Group_id 2) 11: add_user_to_group (User_id 2) (Group_id 2) Tau RV_none 12: Pid 3 -> umask 0o000 Tau Pid 3 <- RV_file_perm(0o022) 14: Pid 2 -> mkdir "/d" 0o755 Tau Pid 2 <- RV_none 15: Pid 2 -> open_close "/d/f" [O_CREAT;O_RDWR] 0o001 Tau Pid 2 <- RV_none 16: Pid 2 -> chown "/d/f" (User_id 1) (Group_id 1) Tau Pid 2 <- RV_none 18: Pid 3 -> open_close "/d/f" [O_RDONLY] Tau Pid 3 <- EACCES 19: Pid 3 -> open_close "/d/f" [O_WRONLY] Tau Pid 3 <- EACCES 20: Pid 3 -> open_close "/d/f" [O_RDWR] Tau Pid 3 <- EACCES 21: Pid 3 -> open_close "/d/f" [O_RDONLY;O_TRUNC] Tau Pid 3 <- EACCES 22: Pid 3 -> open_close "/d/f" [O_TRUNC;O_WRONLY] Tau Pid 3 <- EACCES 23: Pid 3 -> open_close "/d/f" [O_RDONLY;O_APPEND] Tau Pid 3 <- EACCES 24: Pid 3 -> open_close "/d/f" [O_APPEND;O_WRONLY] Tau Pid 3 <- EACCES 26: dump-result "/" "/"|D|32642 "/d"|D|32645 "/d/f"|F|12|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" end dump-result