1 files changed, 11 insertions, 0 deletions
diff --git a/pintos-progos/tests/vm/mmap-null.ck b/pintos-progos/tests/vm/mmap-null.ck
new file mode 100644
index 0000000..aacdd65
--- /dev/null
+++ b/pintos-progos/tests/vm/mmap-null.ck
@@ -0,0 +1,11 @@
+# -*- perl -*-
+use strict;
+use warnings;
+use tests::tests;
+check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
+(mmap-null) begin
+(mmap-null) open "sample.txt"
+(mmap-null) try to mmap at address 0
+(mmap-null) end
+EOF
+pass;

diff --git a/pintos-progos/tests/vm/mmap-null.ck b/pintos-progos/tests/vm/mmap-null.ck new file mode 100644 index 0000000..aacdd65 --- /dev/null +++ b/pintos-progos/tests/vm/mmap-null.ck
@@ -0,0 +1,11 @@
	1	# -- perl --
	2	use strict;
	3	use warnings;
	4	use tests::tests;
	5	check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
	6	(mmap-null) begin
	7	(mmap-null) open "sample.txt"
	8	(mmap-null) try to mmap at address 0
	9	(mmap-null) end
	10	EOF
	11	pass;