Add more tests, results.
[pintos-anon] / grading / filesys / tests.txt
index 9f5ad130230edc3ccaa74026487fec55a3022a2e..837ca2b6a26aaee4f4611173414a4a282de7c9a5 100644 (file)
@@ -23,7 +23,8 @@ File growth
   grow-seq-lg: extend empty file sequentially to large size, verify
   grow-file-size: filesize must return proper value as file grows
   grow-tell: tell must return proper value as file grows
-  grow-sparse: create empty file, seek to 128 kB, write byte, verify zeroing
+  grow-sparse: create empty file, seek past 64 kB, write byte, verify zeroing
+  grow-too-big: create empty file, seek past 2 GB, write byte, must not crash
   grow-root-sm: create 20 small files in root directory
   grow-root-lg: create 50 small files in root directory
   grow-dir-lg: create subdirectory, create 50 small files in it
@@ -31,22 +32,21 @@ File growth
 Score: /
 
 Subdirectories and file management
-  dir-mkdir: create directory and chdir into it
+  dir-mkdir: mkdir a, create a/b, chdir a, open b
   dir-rmdir: create directory, remove directory, chdir into it must now fail
-  dir-mk-vine: create deep chain of directories
+  dir-mk-vine: create deep chain of directories, create & check files in them
   dir-rm-vine: create and remove deep chain of directories
-  dir-mk-tree: create wide, deep directory tree
+  dir-mk-tree: create wide, deep directory tree, create & check files in it
   dir-rm-tree: create and remove wide, deep directory tree
-  dir-rel-mkdir: mkdir /a, chdir /a, mkdir b, chdir b, create /a/b/c, open c
-  dir-rel-open: mkdir /a, mkdir /a/b, create /a/b/c, chdir /a, open b/c
-  dir-rel-rmdir: mkdir a, mkdir /a/b, chdir a, rmdir b
-  dir-rel-remove: mkdir a, create /a/b, chdir a, remove b
-  dir-abs-mkdir: mkdir /a, chdir /a, mkdir /b, create /b/c, chdir /b, open c
   dir-lsdir: lsdir must work
   dir-rm-cwd: removing current directory must not crash
-  dir-rm-cwd-cd: if current directory removed then cd'ing to it must fail
+  dir-rm-cwd-cd: if current directory removable, then cd'ing to it must fail
   dir-rm-parent: removing current directory and then its parent must not crash
-  dir-open: if directories can be opened as file, then writing them must fail
+  dir-rm-root: must not be able to remove root directory
+  dir-over-file: creating a directory named after an existing file must fail
+  dir-under-file: creating a file named after an existing directory must fail
+  dir-empty-name: creating a file named after the empty string must fail
+  dir-open: if directories can be opened as files, then writing them must fail
 Score: /
 
 Synchronization