From: Ben Pfaff Date: Wed, 13 Jul 2005 18:25:12 +0000 (+0000) Subject: Add another possible ordering of lines. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=807498c3ab65c90d0ef7f35e310bc406760156ff;p=pintos-anon Add another possible ordering of lines. Needed by project submitted by Mike Brown . --- diff --git a/src/tests/userprog/exec-missing.ck b/src/tests/userprog/exec-missing.ck index d26c52a..726a4e7 100644 --- a/src/tests/userprog/exec-missing.ck +++ b/src/tests/userprog/exec-missing.ck @@ -2,7 +2,7 @@ use strict; use warnings; use tests::tests; -check_expected ([<<'EOF', <<'EOF', <<'EOF']); +check_expected ([<<'EOF', <<'EOF', <<'EOF', <<'EOF']); (exec-missing) begin load: no-such-file: open failed (exec-missing) exec("no-such-file"): -1 @@ -21,3 +21,10 @@ no-such-file: exit(-1) (exec-missing) end exec-missing: exit(0) EOF +(exec-missing) begin +load: no-such-file: open failed +(exec-missing) exec("no-such-file"): -1 +no-such-file: exit(-1) +(exec-missing) end +exec-missing: exit(0) +EOF