From: Ben Pfaff <blp@cs.stanford.edu>
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 <mbrown@vmware.com>.
---

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