projects
/
pintos-anon
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
4d4d9266646fe2b275a5ded0aac32e8695fa3a56
[pintos-anon]
/
bad-read.ck
1
# -*- perl -*-
2
use strict;
3
use warnings;
4
use tests::tests;
5
check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
6
(bad-read) begin
7
bad-read: exit(-1)
8
EOF
9
pass;