initial pintos checkin

1 files changed, 27 insertions, 0 deletions

diff --git a/pintos-progos/tests/vm/mmap-lazy-seq.ck b/pintos-progos/tests/vm/mmap-lazy-seq.ck
new file mode 100644
index 0000000..dd0e240
--- /dev/null
+++ b/pintos-progos/tests/vm/mmap-lazy-seq.ck
@@ -0,0 +1,27 @@
+# -*- perl -*-
+use strict;
+use warnings;
+use tests::tests;
+check_expected (IGNORE_EXIT_CODES => 1, [<<'EOF']);
+(mmap-lazy-seq) begin
+(mmap-lazy-seq) create "sample.txt"
+(mmap-lazy-seq) open "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) mmap "sample.txt"
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) compare read data against written data
+(mmap-lazy-seq) end
+EOF
+pass;