1 files changed, 0 insertions, 9 deletions
diff --git a/pintos-progos/tests/userprog/bad-read.ck b/pintos-progos/tests/userprog/bad-read.ck
deleted file mode 100644
index 4d4d926..0000000
--- a/pintos-progos/tests/userprog/bad-read.ck
+++ /dev/null
@@ -1,9 +0,0 @@
-# -*- perl -*-
-use strict;
-use warnings;
-use tests::tests;
-check_expected (IGNORE_USER_FAULTS => 1, [<<'EOF']);
-(bad-read) begin
-bad-read: exit(-1)
-EOF
-pass;

diff --git a/pintos-progos/tests/userprog/bad-read.ck b/pintos-progos/tests/userprog/bad-read.ck deleted file mode 100644 index 4d4d926..0000000 --- a/pintos-progos/tests/userprog/bad-read.ck +++ /dev/null
@@ -1,9 +0,0 @@
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;