diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-03-14 12:59:00 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-03-14 13:05:45 +0100 |
| commit | 5683afd1adee798a9288c7d01afc8029c65fe94c (patch) | |
| tree | ffeb25cceec8e3e77a396c01e6f7b7fb92faaf3b /src/userprog/build | |
| parent | 3bfcc368b70181fb8baea37b83db2ed99f5cad40 (diff) | |
| download | pintos-5683afd1adee798a9288c7d01afc8029c65fe94c.tar.gz | |
check stack pointer
Diffstat (limited to 'src/userprog/build')
| -rw-r--r-- | src/userprog/build/fail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/userprog/build/fail b/src/userprog/build/fail index d20593f..fc47d60 100644 --- a/src/userprog/build/fail +++ b/src/userprog/build/fail @@ -1,4 +1,3 @@ -FAIL tests/userprog/sc-bad-sp FAIL tests/userprog/sc-bad-arg FAIL tests/userprog/create-null FAIL tests/userprog/create-bad-ptr @@ -8,4 +7,3 @@ 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 |