Added more userprog tests, mostly relating to boundary conditions
authorJohn Ousterhout <ouster@cs.stanford.edu>
Fri, 14 Dec 2012 22:51:09 +0000 (14:51 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:31:29 +0000 (09:31 -0800)
commit73136d77ba1a531f832d4541d9fbcdbf84e2562b
tree9f1da208a01b40a5fda6699ff14ef171d91003c0
parent4d8de596d93dc34ea1ebbf08b6684fcdf98a5922
Added more userprog tests, mostly relating to boundary conditions
involving invalid pages (e.g., position system call opcode with first
bytes in a valid page and remaining bytes in a nonexistent page).
12 files changed:
src/tests/Make.tests
src/tests/userprog/Make.tests
src/tests/userprog/boundary.c
src/tests/userprog/boundary.h
src/tests/userprog/exec-bound-2.c [new file with mode: 0644]
src/tests/userprog/exec-bound-2.ck [new file with mode: 0644]
src/tests/userprog/exec-bound-3.c [new file with mode: 0644]
src/tests/userprog/exec-bound-3.ck [new file with mode: 0644]
src/tests/userprog/exec-bound.c [new file with mode: 0644]
src/tests/userprog/exec-bound.ck [new file with mode: 0644]
src/tests/userprog/sc-boundary-3.c [new file with mode: 0644]
src/tests/userprog/sc-boundary-3.ck [new file with mode: 0644]