pintos-os.org Git - pintos-anon/blob - src/tests/userprog/halt.ck

   1 # -*- perl -*-
   2 use strict;
   3 use warnings;
   4 use tests::tests;
   5
   6 our ($test);
   7 my (@output) = read_text_file ("$test.output");
   8
   9 common_checks (@output);
  10
  11 fail "missing 'begin' message\n"
  12   if !grep ($_ eq '(halt) begin', @output);
  13 fail "found 'fail' message--halt didn't really halt\n"
  14   if grep ($_ eq '(halt) fail', @output);
  15 pass;