diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/userprog/build/fail | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/userprog/build/fail b/src/userprog/build/fail new file mode 100644 index 0000000..e1df1c1 --- /dev/null +++ b/src/userprog/build/fail @@ -0,0 +1,13 @@ +FAIL tests/userprog/args-none +FAIL tests/userprog/args-dbl-space +FAIL tests/userprog/sc-bad-sp +FAIL tests/userprog/sc-bad-arg +FAIL tests/userprog/create-null +FAIL tests/userprog/create-bad-ptr +FAIL tests/userprog/open-null +FAIL tests/userprog/open-bad-ptr +FAIL tests/userprog/read-bad-ptr +FAIL tests/userprog/write-bad-ptr +FAIL tests/userprog/exec-bad-ptr +FAIL tests/userprog/wait-twice +FAIL tests/userprog/wait-killed |