diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-03-12 16:13:58 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-03-12 16:13:58 +0100 |
| commit | 5453c302f0133bfc90fa26ec5c9dd1877ad24c90 (patch) | |
| tree | 825370c8dfbed316b3bf989fcd5f96da7e4a0a59 /src | |
| parent | 2c58ceb889efd1483f3986827134135d6d977a4a (diff) | |
| download | pintos-5453c302f0133bfc90fa26ec5c9dd1877ad24c90.tar.gz | |
add current failures
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 |