# processing file 'exec_perm_group_create_270-int.trace' ... # processing file 'perm_group_create_270-int.trace' ... @type trace ##################################### # Test perm_group_create_270 ##################################### 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" 0o270 53: Tau 54: Pid 2 <- RV_none #Test 58: Pid 3 -> mkdir "d1" 0o777 59: Tau 60: Pid 3 <- RV_none 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 <- RV_none 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 <- RV_none 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 <- RV_none 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|32643 "/d"|D|32645 "/d/f1"|F|14|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/f2"|F|12|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/f3"|F|15|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/f4"|F|13|0|"da39a3ee5e6b4b0d3255bfef95601890afd80709" "/d/d1"|D|32648 "/d/d2"|D|32646 "/d/d3"|D|32649 "/d/d4"|D|32647 end dump-result # trace accepted