Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / lib / user / syscall.h

diff --git a/src/lib/user/syscall.h b/src/lib/user/syscall.h
index c2941087faa09de8dca3c6f434fbcf0f35aea99f..d03eae163ef371956b911277f75575637da18053 100644 (file)
--- a/src/lib/user/syscall.h
+++ b/src/lib/user/syscall.h
@@ -24,7 +24,7 @@ void seek (int fd, unsigned position);
 unsigned tell (int fd);
 void close (int fd);
 mapid_t mmap (int fd, void *addr);
-bool munmap (mapid_t);
+void munmap (mapid_t);
 bool chdir (const char *dir);
 bool mkdir (const char *dir);
 void lsdir (void);