projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bffccc5) | patch
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)
commit16c7d34d02045bc7e6165a13c549a7968e074d4b
tree7550cee62b51e3e7a833d08b848b587424cadb8btree | snapshot
parentbffccc54acc0560186b8c38bc4a66897de5158ebcommit | diff
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 diff | blob | history
src/tests/userprog/Make.tests diff | blob | history
src/tests/userprog/boundary.c diff | blob | history
src/tests/userprog/boundary.h diff | blob | history
src/tests/userprog/exec-bound-2.c [new file with mode: 0644] blob
src/tests/userprog/exec-bound-2.ck [new file with mode: 0644] blob
src/tests/userprog/exec-bound-3.c [new file with mode: 0644] blob
src/tests/userprog/exec-bound-3.ck [new file with mode: 0644] blob
src/tests/userprog/exec-bound.c [new file with mode: 0644] blob
src/tests/userprog/exec-bound.ck [new file with mode: 0644] blob
src/tests/userprog/sc-boundary-3.c [new file with mode: 0644] blob
src/tests/userprog/sc-boundary-3.ck [new file with mode: 0644] blob
Pintos public repository