initial pintos checkin

1 files changed, 21 insertions, 0 deletions

diff --git a/pintos-progos/tests/vm/Rubric.robustness b/pintos-progos/tests/vm/Rubric.robustness
new file mode 100644
index 0000000..eca0af4
--- /dev/null
+++ b/pintos-progos/tests/vm/Rubric.robustness
@@ -0,0 +1,21 @@
+Robustness of virtual memory subsystem:
+- Test robustness of page table support.
+2       pt-bad-addr
+3       pt-bad-read
+2       pt-write-code
+3       pt-write-code2
+4       pt-grow-bad
+
+- Test robustness of "mmap" system call.
+1       mmap-bad-fd
+1       mmap-inherit
+1       mmap-null
+1       mmap-zero
+
+2       mmap-misalign
+
+2       mmap-over-code
+2       mmap-over-data
+2       mmap-over-stk
+2       mmap-overlap
+4       mmap-lazy-seq