projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Makefile: Use $(MAKE) instead of plain 'make'.
[pintos-anon]
/
src
/
tests
/
vm
/
Rubric.robustness
diff --git
a/src/tests/vm/Rubric.robustness
b/src/tests/vm/Rubric.robustness
index 52da99f5227a6fc8eb27ca43d59a470975bdb8ed..0b2552f29852e4e1121d99ddd8ed7537aa414abc 100644
(file)
--- a/
src/tests/vm/Rubric.robustness
+++ b/
src/tests/vm/Rubric.robustness
@@
-1,7
+1,5
@@
Robustness of virtual memory subsystem:
-
- Test robustness of page table support.
-
2 pt-bad-addr
3 pt-bad-read
2 pt-write-code
@@
-9,7
+7,6
@@
Robustness of virtual memory subsystem:
4 pt-grow-bad
- Test robustness of "mmap" system call.
-
1 mmap-bad-fd
1 mmap-inherit
1 mmap-null