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