# processing file 'exec_perm_group_create_410-int.trace' ... # processing file 'perm_group_create_410-int.trace' ... @type trace ##################################### # Test perm_group_create_410 ##################################### 7: Pid 2 -> create (User_id 1) (Group_id 1) 8: add_user_to_group (User_id 1) (Group_id 1) 9: Tau 10: RV_none 11: Pid 2 -> umask 0o000 12: Tau 13: Pid 2 <- RV_file_perm(0o022) 15: Pid 3 -> create (User_id 2) (Group_id 2) 16: add_user_to_group (User_id 2) (Group_id 2) 17: Tau 18: RV_none 19: add_user_to_group (User_id 2) (Group_id 1) 20: Tau 21: RV_none 22: Pid 3 -> umask 0o000 23: Tau 24: Pid 3 <- RV_file_perm(0o022) #Initialize environment 28: Pid 2 -> mkdir "/d" 0o777 29: Tau 30: Pid 2 <- RV_none 31: Pid 2 -> chdir "/d" 32: Tau 33: Pid 2 <- RV_none 34: Pid 3 -> chdir "/d" 35: Tau 36: Pid 3 <- RV_none 37: Pid 2 -> open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 38: Tau 39: Pid 2 <- RV_none 40: Pid 2 -> open_close "f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 41: Tau 42: Pid 2 <- RV_none 43: Pid 2 -> mkdir "d2" 0o777 44: Tau 45: Pid 2 <- RV_none 46: Pid 2 -> mkdir "d4" 0o777 47: Tau 48: Pid 2 <- RV_none 49: Pid 2 -> chown "/d" (User_id 1) (Group_id 1) 50: Tau 51: Pid 2 <- RV_none 52: Pid 2 -> chmod "/d" 0o410 53: Tau 54: Pid 2 <- RV_none #Test 58: Pid 3 -> mkdir "d1" 0o777 59: Tau 60: Pid 3 <- EACCES 61: Pid 3 -> mkdir "d2" 0o777 62: Tau 63: Pid 3 <- EEXIST 64: Pid 3 -> open_close "f1" [O_EXCL;O_CREAT;O_RDWR] 0o666 65: Tau 66: Pid 3 <- EACCES 67: Pid 3 -> open_close "f2" [O_EXCL;O_CREAT;O_RDWR] 0o666 68: Tau 69: Pid 3 <- EEXIST 70: Pid 3 -> mkdir "/d/d3" 0o777 71: Tau 72: Pid 3 <- EACCES 73: Pid 3 -> mkdir "/d/d4" 0o777 74: Tau 75: Pid 3 <- EEXIST 76: Pid 3 -> open_close "/d/f3" [O_EXCL;O_CREAT;O_RDWR] 0o666 77: Tau 78: Pid 3 <- EACCES 79: Pid 3 -> open_close "/d/f4" [O_EXCL;O_CREAT;O_RDWR] 0o666 80: Tau 81: Pid 3 <- EEXIST 82: Pid 3 -> open_close "/d/f-nonexist" [O_RDONLY] 83: Tau 84: Pid 3 <- ENOENT 86: dump-result "/" "/"|D|32642 "/d"|D|32650 "/d/f2"|F|16|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/f4"|F|17|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/d2"|D|32651 "/d/d4"|D|32652 end dump-result # trace accepted