| Checked Trace | |||
|---|---|---|---|
| linux_spec@[/nix/store/qf513g69n2gy4prf0yhgggwimyl8q7kd-fs_test] | sexp | stdout | stderr | 
| Traced Execution | stdout | stderr | 
|---|
| Script | script | 
|---|
| 1 | # processing file 'adhoc_rename_triple_slash-int.trace' ... | ||||||||||
| 2 | @type trace | ||||||||||
| 3 | |||||||||||
| 4 | # ################################ | ||||||||||
| 5 | # Test triple slash with a rename | ||||||||||
| 6 | # ################################ | ||||||||||
| 7 | |||||||||||
| 8 | # Test1 | ||||||||||
| 9 | mkdir "////ciao" 0o775 | ||||||||||
| 10 | Tau | ||||||||||
| 11 | RV_none | ||||||||||
| 12 | rename "///ciao" "mydir" | ||||||||||
| 13 | Tau | ||||||||||
| 14 | RV_none | ||||||||||
| 15 | |||||||||||
| 16 | # Test2 | ||||||||||
| 17 | rename "////" "mydir" | ||||||||||
| 18 | Tau | ||||||||||
| 19 | EBUSY | ||||||||||
| 20 | |||||||||||
| 21 | # Test3 | ||||||||||
| 22 | rename "///" "mydir" | ||||||||||
| 23 | Tau | ||||||||||
| 24 | EBUSY | ||||||||||
| 25 | |||||||||||
| 26 | dump-result / 
 | ||||||||||
| 27 | |||||||||||
| 28 |