Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / tests / filesys / base / syn-remove.c

diff --git a/src/tests/filesys/base/syn-remove.c b/src/tests/filesys/base/syn-remove.c
new file mode 100644 (file)
index 0000000..7f0cb61
--- /dev/null
+++ b/src/tests/filesys/base/syn-remove.c
@@ -0,0 +1,27 @@
+#include <random.h>
+#include <string.h>
+#include <syscall.h>
+#include "tests/lib.h"
+#include "tests/main.h"
+
+char buf1[1234];
+char buf2[1234];
+
+void
+test_main (void) 
+{
+  const char *filename = "deleteme";
+  int fd;
+  
+  CHECK (create (filename, sizeof buf1), "create \"%s\"", filename);
+  CHECK ((fd = open (filename)) > 1, "open \"%s\"", filename);
+  CHECK (remove (filename), "remove \"%s\"", filename);
+  random_bytes (buf1, sizeof buf1);
+  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", filename);
+  msg ("seek \"%s\" to 0", filename);
+  seek (fd, 0);
+  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", filename);
+  compare_bytes (buf2, buf1, sizeof buf1, 0, filename);
+  msg ("close \"%s\"", filename);
+  close (fd);
+}