src/tests/userprog/halt.ck


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# -*- perl -*-
use strict;
use warnings;
use tests::tests;

our ($test);
my (@output) = read_text_file ("$test.output");

common_checks ("run", @output);

fail "missing 'begin' message\n"
  if !grep ($_ eq '(halt) begin', @output);
fail "found 'fail' message--halt didn't really halt\n"
  if grep ($_ eq '(halt) fail', @output);
pass;