From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 4 Dec 2004 01:45:43 +0000 (+0000)
Subject: More tests.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=bd79c6dccf08a02b64fe252b23bcae0f27315bff;p=pintos-anon

More tests.
---

diff --git a/grading/filesys/tests.txt b/grading/filesys/tests.txt
index a4ece30..9f5ad13 100644
--- a/grading/filesys/tests.txt
+++ b/grading/filesys/tests.txt
@@ -21,25 +21,37 @@ File growth
   grow-create: create empty file, verify
   grow-seq-sm: extend empty file sequentially to small size, verify
   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-dir-sm: create 20 small files in a directory, 
-  grow-dir-lg: create 200 small files in a directory
+  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
+  grow-two-files: growing two files alternately must work
 Score: /
 
 Subdirectories and file management
   dir-mkdir: create directory and chdir into it
   dir-rmdir: create directory, remove directory, chdir into it must now fail
-  dir-hier: create deep hierarchy of directories
+  dir-mk-vine: create deep chain of directories
+  dir-rm-vine: create and remove deep chain of directories
+  dir-mk-tree: create wide, deep directory tree
+  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 do something reasonable
+  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-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
 Score: /
 
 Synchronization
   syn-remove: read and write deleted file
-  syn-mult-read: one process writes file, many read from it
-  syn-mult-write: many processes write different parts of file, then verify
+  syn-read: one process writes file then many read it
+  syn-write: many processes write different parts of file, then verify
+  syn-rw: one process extends file sequentially as many read it sequentially
 Score: /