637 files changed, 7 insertions, 7 deletions

diff --git a/.gitignore b/.gitignore
index 0ab34c0..a39d955 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,9 @@ cscope.files
 cscope.out
 TAGS
 tags
+intro/bochsout.txt
+intro/bochsrc.txt
+intro/build
+threads/bochsout.txt
+threads/bochsrc.txt
+threads/build
diff --git a/pintos-progos/LICENSE b/LICENSE
index 8702541..8702541 100644
--- a/pintos-progos/LICENSE
+++ b/LICENSE
diff --git a/pintos-progos/Make.config b/Make.config
index f00e8fc..f00e8fc 100644
--- a/pintos-progos/Make.config
+++ b/Make.config
diff --git a/pintos-progos/Makefile b/Makefile
index 3ba9194..3ba9194 100644
--- a/pintos-progos/Makefile
+++ b/Makefile
diff --git a/pintos-progos/Makefile.build b/Makefile.build
index e997d27..e997d27 100644
--- a/pintos-progos/Makefile.build
+++ b/Makefile.build
diff --git a/pintos-progos/Makefile.kernel b/Makefile.kernel
index 162a411..162a411 100644
--- a/pintos-progos/Makefile.kernel
+++ b/Makefile.kernel
diff --git a/pintos-progos/Makefile.userprog b/Makefile.userprog
index 0df391a..0df391a 100644
--- a/pintos-progos/Makefile.userprog
+++ b/Makefile.userprog
diff --git a/pintos-progos/devices/block.c b/devices/block.c
index a3acec1..a3acec1 100644
--- a/pintos-progos/devices/block.c
+++ b/devices/block.c
diff --git a/pintos-progos/devices/block.h b/devices/block.h
index 21732d6..21732d6 100644
--- a/pintos-progos/devices/block.h
+++ b/devices/block.h
diff --git a/pintos-progos/devices/ide.c b/devices/ide.c
index 2cc0292..2cc0292 100644
--- a/pintos-progos/devices/ide.c
+++ b/devices/ide.c
diff --git a/pintos-progos/devices/ide.h b/devices/ide.h
index b35da5e..b35da5e 100644
--- a/pintos-progos/devices/ide.h
+++ b/devices/ide.h
diff --git a/pintos-progos/devices/input.c b/devices/input.c
index 4a12160..4a12160 100644
--- a/pintos-progos/devices/input.c
+++ b/devices/input.c
diff --git a/pintos-progos/devices/input.h b/devices/input.h
index a2f50e9..a2f50e9 100644
--- a/pintos-progos/devices/input.h
+++ b/devices/input.h
diff --git a/pintos-progos/devices/intq.c b/devices/intq.c
index 40b23ae..40b23ae 100644
--- a/pintos-progos/devices/intq.c
+++ b/devices/intq.c
diff --git a/pintos-progos/devices/intq.h b/devices/intq.h
index 2312b12..2312b12 100644
--- a/pintos-progos/devices/intq.h
+++ b/devices/intq.h
diff --git a/pintos-progos/devices/kbd.c b/devices/kbd.c
index fcc82be..fcc82be 100644
--- a/pintos-progos/devices/kbd.c
+++ b/devices/kbd.c
diff --git a/pintos-progos/devices/kbd.h b/devices/kbd.h
index ed9c06b..ed9c06b 100644
--- a/pintos-progos/devices/kbd.h
+++ b/devices/kbd.h
diff --git a/pintos-progos/devices/partition.c b/devices/partition.c
index 7e97332..7e97332 100644
--- a/pintos-progos/devices/partition.c
+++ b/devices/partition.c
diff --git a/pintos-progos/devices/partition.h b/devices/partition.h
index 47fea4d..47fea4d 100644
--- a/pintos-progos/devices/partition.h
+++ b/devices/partition.h
diff --git a/pintos-progos/devices/pit.c b/devices/pit.c
index bfb1889..bfb1889 100644
--- a/pintos-progos/devices/pit.c
+++ b/devices/pit.c
diff --git a/pintos-progos/devices/pit.h b/devices/pit.h
index dff36ae..dff36ae 100644
--- a/pintos-progos/devices/pit.h
+++ b/devices/pit.h
diff --git a/pintos-progos/devices/rtc.c b/devices/rtc.c
index d99eb46..d99eb46 100644
--- a/pintos-progos/devices/rtc.c
+++ b/devices/rtc.c
diff --git a/pintos-progos/devices/rtc.h b/devices/rtc.h
index 96a822f..96a822f 100644
--- a/pintos-progos/devices/rtc.h
+++ b/devices/rtc.h
diff --git a/pintos-progos/devices/serial.c b/devices/serial.c
index df770a7..df770a7 100644
--- a/pintos-progos/devices/serial.c
+++ b/devices/serial.c
diff --git a/pintos-progos/devices/serial.h b/devices/serial.h
index 6e04778..6e04778 100644
--- a/pintos-progos/devices/serial.h
+++ b/devices/serial.h
diff --git a/pintos-progos/devices/shutdown.c b/devices/shutdown.c
index 7ff9a95..7ff9a95 100644
--- a/pintos-progos/devices/shutdown.c
+++ b/devices/shutdown.c
diff --git a/pintos-progos/devices/shutdown.h b/devices/shutdown.h
index dc4f942..dc4f942 100644
--- a/pintos-progos/devices/shutdown.h
+++ b/devices/shutdown.h
diff --git a/pintos-progos/devices/speaker.c b/devices/speaker.c
index 5052005..5052005 100644
--- a/pintos-progos/devices/speaker.c
+++ b/devices/speaker.c
diff --git a/pintos-progos/devices/speaker.h b/devices/speaker.h
index 98cef7b..98cef7b 100644
--- a/pintos-progos/devices/speaker.h
+++ b/devices/speaker.h
diff --git a/pintos-progos/devices/timer.c b/devices/timer.c
index 3533fe7..3533fe7 100644
--- a/pintos-progos/devices/timer.c
+++ b/devices/timer.c
diff --git a/pintos-progos/devices/timer.h b/devices/timer.h
index cd3d6bb..cd3d6bb 100644
--- a/pintos-progos/devices/timer.h
+++ b/devices/timer.h
diff --git a/pintos-progos/devices/vga.c b/devices/vga.c
index f421b61..f421b61 100644
--- a/pintos-progos/devices/vga.c
+++ b/devices/vga.c
diff --git a/pintos-progos/devices/vga.h b/devices/vga.h
index 59690fb..59690fb 100644
--- a/pintos-progos/devices/vga.h
+++ b/devices/vga.h
diff --git a/env.sh b/env.sh
index 99fb242..bfa340c 100644
--- a/env.sh
+++ b/env.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
-export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"
+export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/utils"
 export PATH="/opt/bochs/bin:$PATH"
diff --git a/pintos-progos/examples/.gitignore b/examples/.gitignore
index a9e09d7..a9e09d7 100644
--- a/pintos-progos/examples/.gitignore
+++ b/examples/.gitignore
diff --git a/pintos-progos/examples/Makefile b/examples/Makefile
index f773950..f773950 100644
--- a/pintos-progos/examples/Makefile
+++ b/examples/Makefile
diff --git a/pintos-progos/examples/bubsort.c b/examples/bubsort.c
index 343219e..343219e 100644
--- a/pintos-progos/examples/bubsort.c
+++ b/examples/bubsort.c
diff --git a/pintos-progos/examples/cat.c b/examples/cat.c
index c8d229d..c8d229d 100644
--- a/pintos-progos/examples/cat.c
+++ b/examples/cat.c
diff --git a/pintos-progos/examples/cmp.c b/examples/cmp.c
index 94b406d..94b406d 100644
--- a/pintos-progos/examples/cmp.c
+++ b/examples/cmp.c
diff --git a/pintos-progos/examples/cp.c b/examples/cp.c
index 86a5cd7..86a5cd7 100644
--- a/pintos-progos/examples/cp.c
+++ b/examples/cp.c
diff --git a/pintos-progos/examples/echo.c b/examples/echo.c
index 1b136f2..1b136f2 100644
--- a/pintos-progos/examples/echo.c
+++ b/examples/echo.c
diff --git a/pintos-progos/examples/halt.c b/examples/halt.c
index bad7250..bad7250 100644
--- a/pintos-progos/examples/halt.c
+++ b/examples/halt.c
diff --git a/pintos-progos/examples/hello.c b/examples/hello.c
index a12fd94..a12fd94 100644
--- a/pintos-progos/examples/hello.c
+++ b/examples/hello.c
diff --git a/pintos-progos/examples/hex-dump.c b/examples/hex-dump.c
index ee313f2..ee313f2 100644
--- a/pintos-progos/examples/hex-dump.c
+++ b/examples/hex-dump.c
diff --git a/pintos-progos/examples/insult.c b/examples/insult.c
index 98c4e6a..98c4e6a 100644
--- a/pintos-progos/examples/insult.c
+++ b/examples/insult.c
diff --git a/pintos-progos/examples/lib/.gitignore b/examples/lib/.gitignore
index a438335..a438335 100644
--- a/pintos-progos/examples/lib/.gitignore
+++ b/examples/lib/.gitignore
diff --git a/pintos-progos/examples/lib/user/.dummy b/examples/lib/user/.dummy
index e69de29..e69de29 100644
--- a/pintos-progos/examples/lib/user/.dummy
+++ b/examples/lib/user/.dummy
diff --git a/pintos-progos/examples/lib/user/.gitignore b/examples/lib/user/.gitignore
index a438335..a438335 100644
--- a/pintos-progos/examples/lib/user/.gitignore
+++ b/examples/lib/user/.gitignore
diff --git a/pintos-progos/examples/lineup.c b/examples/lineup.c
index 60402d0..60402d0 100644
--- a/pintos-progos/examples/lineup.c
+++ b/examples/lineup.c
diff --git a/pintos-progos/examples/ls.c b/examples/ls.c
index fbe27a1..fbe27a1 100644
--- a/pintos-progos/examples/ls.c
+++ b/examples/ls.c
diff --git a/pintos-progos/examples/matmult.c b/examples/matmult.c
index 4f0615f..4f0615f 100644
--- a/pintos-progos/examples/matmult.c
+++ b/examples/matmult.c
diff --git a/pintos-progos/examples/mcat.c b/examples/mcat.c
index 7b39760..7b39760 100644
--- a/pintos-progos/examples/mcat.c
+++ b/examples/mcat.c
diff --git a/pintos-progos/examples/mcp.c b/examples/mcp.c
index 6091dc8..6091dc8 100644
--- a/pintos-progos/examples/mcp.c
+++ b/examples/mcp.c
diff --git a/pintos-progos/examples/mkdir.c b/examples/mkdir.c
index 7ddbc3f..7ddbc3f 100644
--- a/pintos-progos/examples/mkdir.c
+++ b/examples/mkdir.c
diff --git a/pintos-progos/examples/pwd.c b/examples/pwd.c
index d2305cf..d2305cf 100644
--- a/pintos-progos/examples/pwd.c
+++ b/examples/pwd.c
diff --git a/pintos-progos/examples/recursor.c b/examples/recursor.c
index 79c784a..79c784a 100644
--- a/pintos-progos/examples/recursor.c
+++ b/examples/recursor.c
diff --git a/pintos-progos/examples/rm.c b/examples/rm.c
index 0db7f7b..0db7f7b 100644
--- a/pintos-progos/examples/rm.c
+++ b/examples/rm.c
diff --git a/pintos-progos/examples/shell.c b/examples/shell.c
index 93641b4..93641b4 100644
--- a/pintos-progos/examples/shell.c
+++ b/examples/shell.c
diff --git a/pintos-progos/examples/test.c b/examples/test.c
index 44dc307..44dc307 100644
--- a/pintos-progos/examples/test.c
+++ b/examples/test.c
diff --git a/pintos-progos/filesys/.gitignore b/filesys/.gitignore
index 6d5357c..6d5357c 100644
--- a/pintos-progos/filesys/.gitignore
+++ b/filesys/.gitignore
diff --git a/pintos-progos/filesys/Make.vars b/filesys/Make.vars
index b3aa005..b3aa005 100644
--- a/pintos-progos/filesys/Make.vars
+++ b/filesys/Make.vars
diff --git a/pintos-progos/filesys/Makefile b/filesys/Makefile
index 34c10aa..34c10aa 100644
--- a/pintos-progos/filesys/Makefile
+++ b/filesys/Makefile
diff --git a/pintos-progos/filesys/directory.c b/filesys/directory.c
index 030c1c9..030c1c9 100644
--- a/pintos-progos/filesys/directory.c
+++ b/filesys/directory.c
diff --git a/pintos-progos/filesys/directory.h b/filesys/directory.h
index 930acf9..930acf9 100644
--- a/pintos-progos/filesys/directory.h
+++ b/filesys/directory.h
diff --git a/pintos-progos/filesys/file.c b/filesys/file.c
index d5fc10d..d5fc10d 100644
--- a/pintos-progos/filesys/file.c
+++ b/filesys/file.c
diff --git a/pintos-progos/filesys/file.h b/filesys/file.h
index a33c5af..a33c5af 100644
--- a/pintos-progos/filesys/file.h
+++ b/filesys/file.h
diff --git a/pintos-progos/filesys/filesys.c b/filesys/filesys.c
index 7a53f5f..7a53f5f 100644
--- a/pintos-progos/filesys/filesys.c
+++ b/filesys/filesys.c
diff --git a/pintos-progos/filesys/filesys.h b/filesys/filesys.h
index c1cda84..c1cda84 100644
--- a/pintos-progos/filesys/filesys.h
+++ b/filesys/filesys.h
diff --git a/pintos-progos/filesys/free-map.c b/filesys/free-map.c
index 29ea4df..29ea4df 100644
--- a/pintos-progos/filesys/free-map.c
+++ b/filesys/free-map.c
diff --git a/pintos-progos/filesys/free-map.h b/filesys/free-map.h
index 316cd1c..316cd1c 100644
--- a/pintos-progos/filesys/free-map.h
+++ b/filesys/free-map.h
diff --git a/pintos-progos/filesys/fsutil.c b/filesys/fsutil.c
index 447f291..447f291 100644
--- a/pintos-progos/filesys/fsutil.c
+++ b/filesys/fsutil.c
diff --git a/pintos-progos/filesys/fsutil.h b/filesys/fsutil.h
index cc73705..cc73705 100644
--- a/pintos-progos/filesys/fsutil.h
+++ b/filesys/fsutil.h
diff --git a/pintos-progos/filesys/inode.c b/filesys/inode.c
index 3463563..3463563 100644
--- a/pintos-progos/filesys/inode.c
+++ b/filesys/inode.c
diff --git a/pintos-progos/filesys/inode.h b/filesys/inode.h
index cb42310..cb42310 100644
--- a/pintos-progos/filesys/inode.h
+++ b/filesys/inode.h
diff --git a/pintos-progos/filesys/off_t.h b/filesys/off_t.h
index 9caff4d..9caff4d 100644
--- a/pintos-progos/filesys/off_t.h
+++ b/filesys/off_t.h
diff --git a/pintos-progos/intro/Make.vars b/intro/Make.vars
index c612275..c612275 100644
--- a/pintos-progos/intro/Make.vars
+++ b/intro/Make.vars
diff --git a/pintos-progos/intro/Makefile b/intro/Makefile
index 34c10aa..34c10aa 100644
--- a/pintos-progos/intro/Makefile
+++ b/intro/Makefile
diff --git a/pintos-progos/lib/arithmetic.c b/lib/arithmetic.c
index bfc9b5a..bfc9b5a 100644
--- a/pintos-progos/lib/arithmetic.c
+++ b/lib/arithmetic.c
diff --git a/pintos-progos/lib/ctype.h b/lib/ctype.h
index 9096aca..9096aca 100644
--- a/pintos-progos/lib/ctype.h
+++ b/lib/ctype.h
diff --git a/pintos-progos/lib/debug.c b/lib/debug.c
index b4f8c2d..b4f8c2d 100644
--- a/pintos-progos/lib/debug.c
+++ b/lib/debug.c
diff --git a/pintos-progos/lib/debug.h b/lib/debug.h
index 888ab7b..888ab7b 100644
--- a/pintos-progos/lib/debug.h
+++ b/lib/debug.h
diff --git a/pintos-progos/lib/inttypes.h b/lib/inttypes.h
index f703725..f703725 100644
--- a/pintos-progos/lib/inttypes.h
+++ b/lib/inttypes.h
diff --git a/pintos-progos/lib/kernel/bitmap.c b/lib/kernel/bitmap.c
index d14a98c..d14a98c 100644
--- a/pintos-progos/lib/kernel/bitmap.c
+++ b/lib/kernel/bitmap.c
diff --git a/pintos-progos/lib/kernel/bitmap.h b/lib/kernel/bitmap.h
index a50593c..a50593c 100644
--- a/pintos-progos/lib/kernel/bitmap.h
+++ b/lib/kernel/bitmap.h
diff --git a/pintos-progos/lib/kernel/console.c b/lib/kernel/console.c
index 844b184..844b184 100644
--- a/pintos-progos/lib/kernel/console.c
+++ b/lib/kernel/console.c
diff --git a/pintos-progos/lib/kernel/console.h b/lib/kernel/console.h
index ab99249..ab99249 100644
--- a/pintos-progos/lib/kernel/console.h
+++ b/lib/kernel/console.h
diff --git a/pintos-progos/lib/kernel/debug.c b/lib/kernel/debug.c
index b12f4f9..b12f4f9 100644
--- a/pintos-progos/lib/kernel/debug.c
+++ b/lib/kernel/debug.c
diff --git a/pintos-progos/lib/kernel/hash.c b/lib/kernel/hash.c
index 57eed45..57eed45 100644
--- a/pintos-progos/lib/kernel/hash.c
+++ b/lib/kernel/hash.c
diff --git a/pintos-progos/lib/kernel/hash.h b/lib/kernel/hash.h
index db9f674..db9f674 100644
--- a/pintos-progos/lib/kernel/hash.h
+++ b/lib/kernel/hash.h
diff --git a/pintos-progos/lib/kernel/list.c b/lib/kernel/list.c
index 316d9ef..316d9ef 100644
--- a/pintos-progos/lib/kernel/list.c
+++ b/lib/kernel/list.c
diff --git a/pintos-progos/lib/kernel/list.h b/lib/kernel/list.h
index 82efbb5..82efbb5 100644
--- a/pintos-progos/lib/kernel/list.h
+++ b/lib/kernel/list.h
diff --git a/pintos-progos/lib/kernel/stdio.h b/lib/kernel/stdio.h
index 3e5bae9..3e5bae9 100644
--- a/pintos-progos/lib/kernel/stdio.h
+++ b/lib/kernel/stdio.h
diff --git a/pintos-progos/lib/limits.h b/lib/limits.h
index c957ec4..c957ec4 100644
--- a/pintos-progos/lib/limits.h
+++ b/lib/limits.h
diff --git a/pintos-progos/lib/packed.h b/lib/packed.h
index 9a9b6e2..9a9b6e2 100644
--- a/pintos-progos/lib/packed.h
+++ b/lib/packed.h
diff --git a/pintos-progos/lib/random.c b/lib/random.c
index a4761b6..a4761b6 100644
--- a/pintos-progos/lib/random.c
+++ b/lib/random.c
diff --git a/pintos-progos/lib/random.h b/lib/random.h
index 0950ae2..0950ae2 100644
--- a/pintos-progos/lib/random.h
+++ b/lib/random.h
diff --git a/pintos-progos/lib/round.h b/lib/round.h
index 3aa6642..3aa6642 100644
--- a/pintos-progos/lib/round.h
+++ b/lib/round.h
diff --git a/pintos-progos/lib/stdarg.h b/lib/stdarg.h
index 32622b5..32622b5 100644
--- a/pintos-progos/lib/stdarg.h
+++ b/lib/stdarg.h
diff --git a/pintos-progos/lib/stdbool.h b/lib/stdbool.h
index f173a91..f173a91 100644
--- a/pintos-progos/lib/stdbool.h
+++ b/lib/stdbool.h
diff --git a/pintos-progos/lib/stddef.h b/lib/stddef.h
index 4e74fa6..4e74fa6 100644
--- a/pintos-progos/lib/stddef.h
+++ b/lib/stddef.h
diff --git a/pintos-progos/lib/stdint.h b/lib/stdint.h
index ef5f214..ef5f214 100644
--- a/pintos-progos/lib/stdint.h
+++ b/lib/stdint.h
diff --git a/pintos-progos/lib/stdio.c b/lib/stdio.c
index 8927c50..8927c50 100644
--- a/pintos-progos/lib/stdio.c
+++ b/lib/stdio.c
diff --git a/pintos-progos/lib/stdio.h b/lib/stdio.h
index 2739c0a..2739c0a 100644
--- a/pintos-progos/lib/stdio.h
+++ b/lib/stdio.h
diff --git a/pintos-progos/lib/stdlib.c b/lib/stdlib.c
index 84c7f61..84c7f61 100644
--- a/pintos-progos/lib/stdlib.c
+++ b/lib/stdlib.c
diff --git a/pintos-progos/lib/stdlib.h b/lib/stdlib.h
index d14afa3..d14afa3 100644
--- a/pintos-progos/lib/stdlib.h
+++ b/lib/stdlib.h
diff --git a/pintos-progos/lib/string.c b/lib/string.c
index d223c89..d223c89 100644
--- a/pintos-progos/lib/string.c
+++ b/lib/string.c
diff --git a/pintos-progos/lib/string.h b/lib/string.h
index 1fff82a..1fff82a 100644
--- a/pintos-progos/lib/string.h
+++ b/lib/string.h
diff --git a/pintos-progos/lib/syscall-nr.h b/lib/syscall-nr.h
index 21a7af9..21a7af9 100644
--- a/pintos-progos/lib/syscall-nr.h
+++ b/lib/syscall-nr.h
diff --git a/pintos-progos/lib/user/console.c b/lib/user/console.c
index 22bdc8c..22bdc8c 100644
--- a/pintos-progos/lib/user/console.c
+++ b/lib/user/console.c
diff --git a/pintos-progos/lib/user/debug.c b/lib/user/debug.c
index f49b874..f49b874 100644
--- a/pintos-progos/lib/user/debug.c
+++ b/lib/user/debug.c
diff --git a/pintos-progos/lib/user/entry.c b/lib/user/entry.c
index a707c70..a707c70 100644
--- a/pintos-progos/lib/user/entry.c
+++ b/lib/user/entry.c
diff --git a/pintos-progos/lib/user/stdio.h b/lib/user/stdio.h
index b9f3cc6..b9f3cc6 100644
--- a/pintos-progos/lib/user/stdio.h
+++ b/lib/user/stdio.h
diff --git a/pintos-progos/lib/user/syscall.c b/lib/user/syscall.c
index 0a467f8..0a467f8 100644
--- a/pintos-progos/lib/user/syscall.c
+++ b/lib/user/syscall.c
diff --git a/pintos-progos/lib/user/syscall.h b/lib/user/syscall.h
index a1bcf0b..a1bcf0b 100644
--- a/pintos-progos/lib/user/syscall.h
+++ b/lib/user/syscall.h
diff --git a/pintos-progos/lib/user/user.lds b/lib/user/user.lds
index cc6d6c0..cc6d6c0 100644
--- a/pintos-progos/lib/user/user.lds
+++ b/lib/user/user.lds
diff --git a/pintos-progos/lib/ustar.c b/lib/ustar.c
index 49af69a..49af69a 100644
--- a/pintos-progos/lib/ustar.c
+++ b/lib/ustar.c
diff --git a/pintos-progos/lib/ustar.h b/lib/ustar.h
index 43a5513..43a5513 100644
--- a/pintos-progos/lib/ustar.h
+++ b/lib/ustar.h
diff --git a/pintos-progos/misc/0001-bochs-2.3.7-jitter.patch b/misc/0001-bochs-2.3.7-jitter.patch
index 44190e3..44190e3 100644
--- a/pintos-progos/misc/0001-bochs-2.3.7-jitter.patch
+++ b/misc/0001-bochs-2.3.7-jitter.patch
diff --git a/pintos-progos/misc/0002-bochs-2.3.7-triple-fault.patch b/misc/0002-bochs-2.3.7-triple-fault.patch
index c8698bd..c8698bd 100644
--- a/pintos-progos/misc/0002-bochs-2.3.7-triple-fault.patch
+++ b/misc/0002-bochs-2.3.7-triple-fault.patch
diff --git a/pintos-progos/misc/0003-bochs-2.3.7-page-fault-segv.patch b/misc/0003-bochs-2.3.7-page-fault-segv.patch
index 8b6e090..8b6e090 100644
--- a/pintos-progos/misc/0003-bochs-2.3.7-page-fault-segv.patch
+++ b/misc/0003-bochs-2.3.7-page-fault-segv.patch
diff --git a/pintos-progos/misc/bochs-2.3.7-build.sh b/misc/bochs-2.3.7-build.sh
index 57e35d1..57e35d1 100755
--- a/pintos-progos/misc/bochs-2.3.7-build.sh
+++ b/misc/bochs-2.3.7-build.sh
diff --git a/pintos-progos/misc/bochs-2.3.7-gcc43.patch b/misc/bochs-2.3.7-gcc43.patch
index 4646edf..4646edf 100644
--- a/pintos-progos/misc/bochs-2.3.7-gcc43.patch
+++ b/misc/bochs-2.3.7-gcc43.patch
diff --git a/pintos-progos/misc/bochs-2.3.7-linux3x.patch b/misc/bochs-2.3.7-linux3x.patch
index 1c84060..1c84060 100644
--- a/pintos-progos/misc/bochs-2.3.7-linux3x.patch
+++ b/misc/bochs-2.3.7-linux3x.patch
diff --git a/pintos-progos/misc/bochs-2.3.7-typos.patch b/misc/bochs-2.3.7-typos.patch
index c9fb168..c9fb168 100644
--- a/pintos-progos/misc/bochs-2.3.7-typos.patch
+++ b/misc/bochs-2.3.7-typos.patch
diff --git a/pintos-progos/misc/gcc-3.3.6-cross-howto b/misc/gcc-3.3.6-cross-howto
index ad25173..ad25173 100644
--- a/pintos-progos/misc/gcc-3.3.6-cross-howto
+++ b/misc/gcc-3.3.6-cross-howto
diff --git a/pintos-progos/misc/gdb-macros b/misc/gdb-macros
index a0b68c3..a0b68c3 100644
--- a/pintos-progos/misc/gdb-macros
+++ b/misc/gdb-macros
diff --git a/pintos-progos/notes/1.txt b/notes/1.txt
index 9d478f7..9d478f7 100644
--- a/pintos-progos/notes/1.txt
+++ b/notes/1.txt
diff --git a/pintos-progos/notes/2.txt b/notes/2.txt
index c81b980..c81b980 100644
--- a/pintos-progos/notes/2.txt
+++ b/notes/2.txt
diff --git a/pintos-progos/notes/3.txt b/notes/3.txt
index bc64f88..bc64f88 100644
--- a/pintos-progos/notes/3.txt
+++ b/notes/3.txt
diff --git a/pintos-progos/.gitignore b/pintos-progos/.gitignore
deleted file mode 100644
index e87c613..0000000
--- a/pintos-progos/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-intro/bochsout.txt
-intro/bochsrc.txt
-intro/build
-threads/bochsout.txt
-threads/bochsrc.txt
-threads/build
diff --git a/pintos-progos/tests/Algorithm/Diff.pm b/tests/Algorithm/Diff.pm
index 904c530..904c530 100644
--- a/pintos-progos/tests/Algorithm/Diff.pm
+++ b/tests/Algorithm/Diff.pm
diff --git a/pintos-progos/tests/Make.tests b/tests/Make.tests
index 358e697..358e697 100644
--- a/pintos-progos/tests/Make.tests
+++ b/tests/Make.tests
diff --git a/pintos-progos/tests/arc4.c b/tests/arc4.c
index b033cc6..b033cc6 100644
--- a/pintos-progos/tests/arc4.c
+++ b/tests/arc4.c
diff --git a/pintos-progos/tests/arc4.h b/tests/arc4.h
index 61c533a..61c533a 100644
--- a/pintos-progos/tests/arc4.h
+++ b/tests/arc4.h
diff --git a/pintos-progos/tests/arc4.pm b/tests/arc4.pm
index df19216..df19216 100644
--- a/pintos-progos/tests/arc4.pm
+++ b/tests/arc4.pm
diff --git a/pintos-progos/tests/cksum.c b/tests/cksum.c
index 92a2995..92a2995 100644
--- a/pintos-progos/tests/cksum.c
+++ b/tests/cksum.c
diff --git a/pintos-progos/tests/cksum.h b/tests/cksum.h
index 23a1fe9..23a1fe9 100644
--- a/pintos-progos/tests/cksum.h
+++ b/tests/cksum.h
diff --git a/pintos-progos/tests/cksum.pm b/tests/cksum.pm
index 73be5f2..73be5f2 100644
--- a/pintos-progos/tests/cksum.pm
+++ b/tests/cksum.pm
diff --git a/pintos-progos/tests/filesys/Grading.no-vm b/tests/filesys/Grading.no-vm
index ee98fc1..ee98fc1 100644
--- a/pintos-progos/tests/filesys/Grading.no-vm
+++ b/tests/filesys/Grading.no-vm
diff --git a/pintos-progos/tests/filesys/Grading.with-vm b/tests/filesys/Grading.with-vm
index e7c041e..e7c041e 100644
--- a/pintos-progos/tests/filesys/Grading.with-vm
+++ b/tests/filesys/Grading.with-vm
diff --git a/pintos-progos/tests/filesys/base/Make.tests b/tests/filesys/base/Make.tests
index e475222..e475222 100644
--- a/pintos-progos/tests/filesys/base/Make.tests
+++ b/tests/filesys/base/Make.tests
diff --git a/pintos-progos/tests/filesys/base/Rubric b/tests/filesys/base/Rubric
index 49a9d15..49a9d15 100644
--- a/pintos-progos/tests/filesys/base/Rubric
+++ b/tests/filesys/base/Rubric
diff --git a/pintos-progos/tests/filesys/base/child-syn-read.c b/tests/filesys/base/child-syn-read.c
index 77a5e26..77a5e26 100644
--- a/pintos-progos/tests/filesys/base/child-syn-read.c
+++ b/tests/filesys/base/child-syn-read.c
diff --git a/pintos-progos/tests/filesys/base/child-syn-wrt.c b/tests/filesys/base/child-syn-wrt.c
index 1b52584..1b52584 100644
--- a/pintos-progos/tests/filesys/base/child-syn-wrt.c
+++ b/tests/filesys/base/child-syn-wrt.c
diff --git a/pintos-progos/tests/filesys/base/full.inc b/tests/filesys/base/full.inc
index 38a0396..38a0396 100644
--- a/pintos-progos/tests/filesys/base/full.inc
+++ b/tests/filesys/base/full.inc
diff --git a/pintos-progos/tests/filesys/base/lg-create.c b/tests/filesys/base/lg-create.c
index 5c45eee..5c45eee 100644
--- a/pintos-progos/tests/filesys/base/lg-create.c
+++ b/tests/filesys/base/lg-create.c
diff --git a/pintos-progos/tests/filesys/base/lg-create.ck b/tests/filesys/base/lg-create.ck
index 86b2c51..86b2c51 100644
--- a/pintos-progos/tests/filesys/base/lg-create.ck
+++ b/tests/filesys/base/lg-create.ck
diff --git a/pintos-progos/tests/filesys/base/lg-full.c b/tests/filesys/base/lg-full.c
index 5f7234d..5f7234d 100644
--- a/pintos-progos/tests/filesys/base/lg-full.c
+++ b/tests/filesys/base/lg-full.c
diff --git a/pintos-progos/tests/filesys/base/lg-full.ck b/tests/filesys/base/lg-full.ck
index ee6c7f9..ee6c7f9 100644
--- a/pintos-progos/tests/filesys/base/lg-full.ck
+++ b/tests/filesys/base/lg-full.ck
diff --git a/pintos-progos/tests/filesys/base/lg-random.c b/tests/filesys/base/lg-random.c
index b6f8873..b6f8873 100644
--- a/pintos-progos/tests/filesys/base/lg-random.c
+++ b/tests/filesys/base/lg-random.c
diff --git a/pintos-progos/tests/filesys/base/lg-random.ck b/tests/filesys/base/lg-random.ck
index dd9f1dd..dd9f1dd 100644
--- a/pintos-progos/tests/filesys/base/lg-random.ck
+++ b/tests/filesys/base/lg-random.ck
diff --git a/pintos-progos/tests/filesys/base/lg-seq-block.c b/tests/filesys/base/lg-seq-block.c
index 580c30b..580c30b 100644
--- a/pintos-progos/tests/filesys/base/lg-seq-block.c
+++ b/tests/filesys/base/lg-seq-block.c
diff --git a/pintos-progos/tests/filesys/base/lg-seq-block.ck b/tests/filesys/base/lg-seq-block.ck
index b789081..b789081 100644
--- a/pintos-progos/tests/filesys/base/lg-seq-block.ck
+++ b/tests/filesys/base/lg-seq-block.ck
diff --git a/pintos-progos/tests/filesys/base/lg-seq-random.c b/tests/filesys/base/lg-seq-random.c
index fbb6bba..fbb6bba 100644
--- a/pintos-progos/tests/filesys/base/lg-seq-random.c
+++ b/tests/filesys/base/lg-seq-random.c
diff --git a/pintos-progos/tests/filesys/base/lg-seq-random.ck b/tests/filesys/base/lg-seq-random.ck
index 6b2dc82..6b2dc82 100644
--- a/pintos-progos/tests/filesys/base/lg-seq-random.ck
+++ b/tests/filesys/base/lg-seq-random.ck
diff --git a/pintos-progos/tests/filesys/base/random.inc b/tests/filesys/base/random.inc
index eeeea68..eeeea68 100644
--- a/pintos-progos/tests/filesys/base/random.inc
+++ b/tests/filesys/base/random.inc
diff --git a/pintos-progos/tests/filesys/base/seq-block.inc b/tests/filesys/base/seq-block.inc
index d4c1f57..d4c1f57 100644
--- a/pintos-progos/tests/filesys/base/seq-block.inc
+++ b/tests/filesys/base/seq-block.inc
diff --git a/pintos-progos/tests/filesys/base/seq-random.inc b/tests/filesys/base/seq-random.inc
index a4da4c5..a4da4c5 100644
--- a/pintos-progos/tests/filesys/base/seq-random.inc
+++ b/tests/filesys/base/seq-random.inc
diff --git a/pintos-progos/tests/filesys/base/sm-create.c b/tests/filesys/base/sm-create.c
index 6b97ac1..6b97ac1 100644
--- a/pintos-progos/tests/filesys/base/sm-create.c
+++ b/tests/filesys/base/sm-create.c
diff --git a/pintos-progos/tests/filesys/base/sm-create.ck b/tests/filesys/base/sm-create.ck
index 8ca80dc..8ca80dc 100644
--- a/pintos-progos/tests/filesys/base/sm-create.ck
+++ b/tests/filesys/base/sm-create.ck
diff --git a/pintos-progos/tests/filesys/base/sm-full.c b/tests/filesys/base/sm-full.c
index 23ff3d4..23ff3d4 100644
--- a/pintos-progos/tests/filesys/base/sm-full.c
+++ b/tests/filesys/base/sm-full.c
diff --git a/pintos-progos/tests/filesys/base/sm-full.ck b/tests/filesys/base/sm-full.ck
index 2e0eb36..2e0eb36 100644
--- a/pintos-progos/tests/filesys/base/sm-full.ck
+++ b/tests/filesys/base/sm-full.ck
diff --git a/pintos-progos/tests/filesys/base/sm-random.c b/tests/filesys/base/sm-random.c
index 42d670f..42d670f 100644
--- a/pintos-progos/tests/filesys/base/sm-random.c
+++ b/tests/filesys/base/sm-random.c
diff --git a/pintos-progos/tests/filesys/base/sm-random.ck b/tests/filesys/base/sm-random.ck
index bda049d..bda049d 100644
--- a/pintos-progos/tests/filesys/base/sm-random.ck
+++ b/tests/filesys/base/sm-random.ck
diff --git a/pintos-progos/tests/filesys/base/sm-seq-block.c b/tests/filesys/base/sm-seq-block.c
index e368327..e368327 100644
--- a/pintos-progos/tests/filesys/base/sm-seq-block.c
+++ b/tests/filesys/base/sm-seq-block.c
diff --git a/pintos-progos/tests/filesys/base/sm-seq-block.ck b/tests/filesys/base/sm-seq-block.ck
index 0e2939d..0e2939d 100644
--- a/pintos-progos/tests/filesys/base/sm-seq-block.ck
+++ b/tests/filesys/base/sm-seq-block.ck
diff --git a/pintos-progos/tests/filesys/base/sm-seq-random.c b/tests/filesys/base/sm-seq-random.c
index 89e5b71..89e5b71 100644
--- a/pintos-progos/tests/filesys/base/sm-seq-random.c
+++ b/tests/filesys/base/sm-seq-random.c
diff --git a/pintos-progos/tests/filesys/base/sm-seq-random.ck b/tests/filesys/base/sm-seq-random.ck
index 2fb368b..2fb368b 100644
--- a/pintos-progos/tests/filesys/base/sm-seq-random.ck
+++ b/tests/filesys/base/sm-seq-random.ck
diff --git a/pintos-progos/tests/filesys/base/syn-read.c b/tests/filesys/base/syn-read.c
index 7c36a42..7c36a42 100644
--- a/pintos-progos/tests/filesys/base/syn-read.c
+++ b/tests/filesys/base/syn-read.c
diff --git a/pintos-progos/tests/filesys/base/syn-read.ck b/tests/filesys/base/syn-read.ck
index e2f68e8..e2f68e8 100644
--- a/pintos-progos/tests/filesys/base/syn-read.ck
+++ b/tests/filesys/base/syn-read.ck
diff --git a/pintos-progos/tests/filesys/base/syn-read.h b/tests/filesys/base/syn-read.h
index bff8082..bff8082 100644
--- a/pintos-progos/tests/filesys/base/syn-read.h
+++ b/tests/filesys/base/syn-read.h
diff --git a/pintos-progos/tests/filesys/base/syn-remove.c b/tests/filesys/base/syn-remove.c
index c9ba110..c9ba110 100644
--- a/pintos-progos/tests/filesys/base/syn-remove.c
+++ b/tests/filesys/base/syn-remove.c
diff --git a/pintos-progos/tests/filesys/base/syn-remove.ck b/tests/filesys/base/syn-remove.ck
index 16ff11e..16ff11e 100644
--- a/pintos-progos/tests/filesys/base/syn-remove.ck
+++ b/tests/filesys/base/syn-remove.ck
diff --git a/pintos-progos/tests/filesys/base/syn-write.c b/tests/filesys/base/syn-write.c
index 1439862..1439862 100644
--- a/pintos-progos/tests/filesys/base/syn-write.c
+++ b/tests/filesys/base/syn-write.c
diff --git a/pintos-progos/tests/filesys/base/syn-write.ck b/tests/filesys/base/syn-write.ck
index 629a7a2..629a7a2 100644
--- a/pintos-progos/tests/filesys/base/syn-write.ck
+++ b/tests/filesys/base/syn-write.ck
diff --git a/pintos-progos/tests/filesys/base/syn-write.h b/tests/filesys/base/syn-write.h
index 07a6d5a..07a6d5a 100644
--- a/pintos-progos/tests/filesys/base/syn-write.h
+++ b/tests/filesys/base/syn-write.h
diff --git a/pintos-progos/tests/filesys/create.inc b/tests/filesys/create.inc
index 4baf771..4baf771 100644
--- a/pintos-progos/tests/filesys/create.inc
+++ b/tests/filesys/create.inc
diff --git a/pintos-progos/tests/filesys/extended/Make.tests b/tests/filesys/extended/Make.tests
index e03b98d..e03b98d 100644
--- a/pintos-progos/tests/filesys/extended/Make.tests
+++ b/tests/filesys/extended/Make.tests
diff --git a/pintos-progos/tests/filesys/extended/Rubric.functionality b/tests/filesys/extended/Rubric.functionality
index 91ed6f0..91ed6f0 100644
--- a/pintos-progos/tests/filesys/extended/Rubric.functionality
+++ b/tests/filesys/extended/Rubric.functionality
diff --git a/pintos-progos/tests/filesys/extended/Rubric.persistence b/tests/filesys/extended/Rubric.persistence
index 405620a..405620a 100644
--- a/pintos-progos/tests/filesys/extended/Rubric.persistence
+++ b/tests/filesys/extended/Rubric.persistence
diff --git a/pintos-progos/tests/filesys/extended/Rubric.robustness b/tests/filesys/extended/Rubric.robustness
index fb9f32f..fb9f32f 100644
--- a/pintos-progos/tests/filesys/extended/Rubric.robustness
+++ b/tests/filesys/extended/Rubric.robustness
diff --git a/pintos-progos/tests/filesys/extended/child-syn-rw.c b/tests/filesys/extended/child-syn-rw.c
index 0e2217d..0e2217d 100644
--- a/pintos-progos/tests/filesys/extended/child-syn-rw.c
+++ b/tests/filesys/extended/child-syn-rw.c
diff --git a/pintos-progos/tests/filesys/extended/dir-empty-name-persistence.ck b/tests/filesys/extended/dir-empty-name-persistence.ck
index 562c451..562c451 100644
--- a/pintos-progos/tests/filesys/extended/dir-empty-name-persistence.ck
+++ b/tests/filesys/extended/dir-empty-name-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-empty-name.c b/tests/filesys/extended/dir-empty-name.c
index c4859d2..c4859d2 100644
--- a/pintos-progos/tests/filesys/extended/dir-empty-name.c
+++ b/tests/filesys/extended/dir-empty-name.c
diff --git a/pintos-progos/tests/filesys/extended/dir-empty-name.ck b/tests/filesys/extended/dir-empty-name.ck
index d6c5621..d6c5621 100644
--- a/pintos-progos/tests/filesys/extended/dir-empty-name.ck
+++ b/tests/filesys/extended/dir-empty-name.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-mk-tree-persistence.ck b/tests/filesys/extended/dir-mk-tree-persistence.ck
index fb16afd..fb16afd 100644
--- a/pintos-progos/tests/filesys/extended/dir-mk-tree-persistence.ck
+++ b/tests/filesys/extended/dir-mk-tree-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-mk-tree.c b/tests/filesys/extended/dir-mk-tree.c
index a714ff3..a714ff3 100644
--- a/pintos-progos/tests/filesys/extended/dir-mk-tree.c
+++ b/tests/filesys/extended/dir-mk-tree.c
diff --git a/pintos-progos/tests/filesys/extended/dir-mk-tree.ck b/tests/filesys/extended/dir-mk-tree.ck
index a8507e2..a8507e2 100644
--- a/pintos-progos/tests/filesys/extended/dir-mk-tree.ck
+++ b/tests/filesys/extended/dir-mk-tree.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-mkdir-persistence.ck b/tests/filesys/extended/dir-mkdir-persistence.ck
index 7682900..7682900 100644
--- a/pintos-progos/tests/filesys/extended/dir-mkdir-persistence.ck
+++ b/tests/filesys/extended/dir-mkdir-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-mkdir.c b/tests/filesys/extended/dir-mkdir.c
index 994f41c..994f41c 100644
--- a/pintos-progos/tests/filesys/extended/dir-mkdir.c
+++ b/tests/filesys/extended/dir-mkdir.c
diff --git a/pintos-progos/tests/filesys/extended/dir-mkdir.ck b/tests/filesys/extended/dir-mkdir.ck
index 4644f80..4644f80 100644
--- a/pintos-progos/tests/filesys/extended/dir-mkdir.ck
+++ b/tests/filesys/extended/dir-mkdir.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-open-persistence.ck b/tests/filesys/extended/dir-open-persistence.ck
index 26ff2f1..26ff2f1 100644
--- a/pintos-progos/tests/filesys/extended/dir-open-persistence.ck
+++ b/tests/filesys/extended/dir-open-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-open.c b/tests/filesys/extended/dir-open.c
index 29d18b8..29d18b8 100644
--- a/pintos-progos/tests/filesys/extended/dir-open.c
+++ b/tests/filesys/extended/dir-open.c
diff --git a/pintos-progos/tests/filesys/extended/dir-open.ck b/tests/filesys/extended/dir-open.ck
index fccc563..fccc563 100644
--- a/pintos-progos/tests/filesys/extended/dir-open.ck
+++ b/tests/filesys/extended/dir-open.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-over-file-persistence.ck b/tests/filesys/extended/dir-over-file-persistence.ck
index 56b4ed2..56b4ed2 100644
--- a/pintos-progos/tests/filesys/extended/dir-over-file-persistence.ck
+++ b/tests/filesys/extended/dir-over-file-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-over-file.c b/tests/filesys/extended/dir-over-file.c
index cdd2c62..cdd2c62 100644
--- a/pintos-progos/tests/filesys/extended/dir-over-file.c
+++ b/tests/filesys/extended/dir-over-file.c
diff --git a/pintos-progos/tests/filesys/extended/dir-over-file.ck b/tests/filesys/extended/dir-over-file.ck
index aae1c1e..aae1c1e 100644
--- a/pintos-progos/tests/filesys/extended/dir-over-file.ck
+++ b/tests/filesys/extended/dir-over-file.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-cwd-persistence.ck b/tests/filesys/extended/dir-rm-cwd-persistence.ck
index 7533570..7533570 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-cwd-persistence.ck
+++ b/tests/filesys/extended/dir-rm-cwd-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-cwd.c b/tests/filesys/extended/dir-rm-cwd.c
index 78e13de..78e13de 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-cwd.c
+++ b/tests/filesys/extended/dir-rm-cwd.c
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-cwd.ck b/tests/filesys/extended/dir-rm-cwd.ck
index 6fa4739..6fa4739 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-cwd.ck
+++ b/tests/filesys/extended/dir-rm-cwd.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-parent-persistence.ck b/tests/filesys/extended/dir-rm-parent-persistence.ck
index f30b04a..f30b04a 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-parent-persistence.ck
+++ b/tests/filesys/extended/dir-rm-parent-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-parent.c b/tests/filesys/extended/dir-rm-parent.c
index eb43f5b..eb43f5b 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-parent.c
+++ b/tests/filesys/extended/dir-rm-parent.c
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-parent.ck b/tests/filesys/extended/dir-rm-parent.ck
index 9fea8f2..9fea8f2 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-parent.ck
+++ b/tests/filesys/extended/dir-rm-parent.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-root-persistence.ck b/tests/filesys/extended/dir-rm-root-persistence.ck
index 6315107..6315107 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-root-persistence.ck
+++ b/tests/filesys/extended/dir-rm-root-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-root.c b/tests/filesys/extended/dir-rm-root.c
index c47f1eb..c47f1eb 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-root.c
+++ b/tests/filesys/extended/dir-rm-root.c
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-root.ck b/tests/filesys/extended/dir-rm-root.ck
index 8a69ff3..8a69ff3 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-root.ck
+++ b/tests/filesys/extended/dir-rm-root.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-tree-persistence.ck b/tests/filesys/extended/dir-rm-tree-persistence.ck
index 562c451..562c451 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-tree-persistence.ck
+++ b/tests/filesys/extended/dir-rm-tree-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-tree.c b/tests/filesys/extended/dir-rm-tree.c
index bab41a6..bab41a6 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-tree.c
+++ b/tests/filesys/extended/dir-rm-tree.c
diff --git a/pintos-progos/tests/filesys/extended/dir-rm-tree.ck b/tests/filesys/extended/dir-rm-tree.ck
index 587b493..587b493 100644
--- a/pintos-progos/tests/filesys/extended/dir-rm-tree.ck
+++ b/tests/filesys/extended/dir-rm-tree.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rmdir-persistence.ck b/tests/filesys/extended/dir-rmdir-persistence.ck
index 562c451..562c451 100644
--- a/pintos-progos/tests/filesys/extended/dir-rmdir-persistence.ck
+++ b/tests/filesys/extended/dir-rmdir-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-rmdir.c b/tests/filesys/extended/dir-rmdir.c
index b3cbc6f..b3cbc6f 100644
--- a/pintos-progos/tests/filesys/extended/dir-rmdir.c
+++ b/tests/filesys/extended/dir-rmdir.c
diff --git a/pintos-progos/tests/filesys/extended/dir-rmdir.ck b/tests/filesys/extended/dir-rmdir.ck
index e0d8922..e0d8922 100644
--- a/pintos-progos/tests/filesys/extended/dir-rmdir.ck
+++ b/tests/filesys/extended/dir-rmdir.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-under-file-persistence.ck b/tests/filesys/extended/dir-under-file-persistence.ck
index 67ca528..67ca528 100644
--- a/pintos-progos/tests/filesys/extended/dir-under-file-persistence.ck
+++ b/tests/filesys/extended/dir-under-file-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-under-file.c b/tests/filesys/extended/dir-under-file.c
index 973a8b1..973a8b1 100644
--- a/pintos-progos/tests/filesys/extended/dir-under-file.c
+++ b/tests/filesys/extended/dir-under-file.c
diff --git a/pintos-progos/tests/filesys/extended/dir-under-file.ck b/tests/filesys/extended/dir-under-file.ck
index cce23b4..cce23b4 100644
--- a/pintos-progos/tests/filesys/extended/dir-under-file.ck
+++ b/tests/filesys/extended/dir-under-file.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-vine-persistence.ck b/tests/filesys/extended/dir-vine-persistence.ck
index 698ef01..698ef01 100644
--- a/pintos-progos/tests/filesys/extended/dir-vine-persistence.ck
+++ b/tests/filesys/extended/dir-vine-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/dir-vine.c b/tests/filesys/extended/dir-vine.c
index 8a31c38..8a31c38 100644
--- a/pintos-progos/tests/filesys/extended/dir-vine.c
+++ b/tests/filesys/extended/dir-vine.c
diff --git a/pintos-progos/tests/filesys/extended/dir-vine.ck b/tests/filesys/extended/dir-vine.ck
index db452b0..db452b0 100644
--- a/pintos-progos/tests/filesys/extended/dir-vine.ck
+++ b/tests/filesys/extended/dir-vine.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-create-persistence.ck b/tests/filesys/extended/grow-create-persistence.ck
index bbcb24f..bbcb24f 100644
--- a/pintos-progos/tests/filesys/extended/grow-create-persistence.ck
+++ b/tests/filesys/extended/grow-create-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-create.c b/tests/filesys/extended/grow-create.c
index 9ccc4ea..9ccc4ea 100644
--- a/pintos-progos/tests/filesys/extended/grow-create.c
+++ b/tests/filesys/extended/grow-create.c
diff --git a/pintos-progos/tests/filesys/extended/grow-create.ck b/tests/filesys/extended/grow-create.ck
index b2e69d1..b2e69d1 100644
--- a/pintos-progos/tests/filesys/extended/grow-create.ck
+++ b/tests/filesys/extended/grow-create.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-dir-lg-persistence.ck b/tests/filesys/extended/grow-dir-lg-persistence.ck
index 989a322..989a322 100644
--- a/pintos-progos/tests/filesys/extended/grow-dir-lg-persistence.ck
+++ b/tests/filesys/extended/grow-dir-lg-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-dir-lg.c b/tests/filesys/extended/grow-dir-lg.c
index 20a194b..20a194b 100644
--- a/pintos-progos/tests/filesys/extended/grow-dir-lg.c
+++ b/tests/filesys/extended/grow-dir-lg.c
diff --git a/pintos-progos/tests/filesys/extended/grow-dir-lg.ck b/tests/filesys/extended/grow-dir-lg.ck
index ec58bd3..ec58bd3 100644
--- a/pintos-progos/tests/filesys/extended/grow-dir-lg.ck
+++ b/tests/filesys/extended/grow-dir-lg.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-dir.inc b/tests/filesys/extended/grow-dir.inc
index bee0ba0..bee0ba0 100644
--- a/pintos-progos/tests/filesys/extended/grow-dir.inc
+++ b/tests/filesys/extended/grow-dir.inc
diff --git a/pintos-progos/tests/filesys/extended/grow-file-size-persistence.ck b/tests/filesys/extended/grow-file-size-persistence.ck
index 150f383..150f383 100644
--- a/pintos-progos/tests/filesys/extended/grow-file-size-persistence.ck
+++ b/tests/filesys/extended/grow-file-size-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-file-size.c b/tests/filesys/extended/grow-file-size.c
index 3ce8588..3ce8588 100644
--- a/pintos-progos/tests/filesys/extended/grow-file-size.c
+++ b/tests/filesys/extended/grow-file-size.c
diff --git a/pintos-progos/tests/filesys/extended/grow-file-size.ck b/tests/filesys/extended/grow-file-size.ck
index d81feff..d81feff 100644
--- a/pintos-progos/tests/filesys/extended/grow-file-size.ck
+++ b/tests/filesys/extended/grow-file-size.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-root-lg-persistence.ck b/tests/filesys/extended/grow-root-lg-persistence.ck
index 1692f46..1692f46 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-lg-persistence.ck
+++ b/tests/filesys/extended/grow-root-lg-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-root-lg.c b/tests/filesys/extended/grow-root-lg.c
index d8d6c09..d8d6c09 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-lg.c
+++ b/tests/filesys/extended/grow-root-lg.c
diff --git a/pintos-progos/tests/filesys/extended/grow-root-lg.ck b/tests/filesys/extended/grow-root-lg.ck
index b174bc9..b174bc9 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-lg.ck
+++ b/tests/filesys/extended/grow-root-lg.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-root-sm-persistence.ck b/tests/filesys/extended/grow-root-sm-persistence.ck
index 2b0b8ab..2b0b8ab 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-sm-persistence.ck
+++ b/tests/filesys/extended/grow-root-sm-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-root-sm.c b/tests/filesys/extended/grow-root-sm.c
index ee375d5..ee375d5 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-sm.c
+++ b/tests/filesys/extended/grow-root-sm.c
diff --git a/pintos-progos/tests/filesys/extended/grow-root-sm.ck b/tests/filesys/extended/grow-root-sm.ck
index 1aac7e9..1aac7e9 100644
--- a/pintos-progos/tests/filesys/extended/grow-root-sm.ck
+++ b/tests/filesys/extended/grow-root-sm.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-lg-persistence.ck b/tests/filesys/extended/grow-seq-lg-persistence.ck
index 41aaae0..41aaae0 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-lg-persistence.ck
+++ b/tests/filesys/extended/grow-seq-lg-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-lg.c b/tests/filesys/extended/grow-seq-lg.c
index 3108d17..3108d17 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-lg.c
+++ b/tests/filesys/extended/grow-seq-lg.c
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-lg.ck b/tests/filesys/extended/grow-seq-lg.ck
index 90fcd8c..90fcd8c 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-lg.ck
+++ b/tests/filesys/extended/grow-seq-lg.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-sm-persistence.ck b/tests/filesys/extended/grow-seq-sm-persistence.ck
index 6cb0bd8..6cb0bd8 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-sm-persistence.ck
+++ b/tests/filesys/extended/grow-seq-sm-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-sm.c b/tests/filesys/extended/grow-seq-sm.c
index 3656e2e..3656e2e 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-sm.c
+++ b/tests/filesys/extended/grow-seq-sm.c
diff --git a/pintos-progos/tests/filesys/extended/grow-seq-sm.ck b/tests/filesys/extended/grow-seq-sm.ck
index 5cf4518..5cf4518 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq-sm.ck
+++ b/tests/filesys/extended/grow-seq-sm.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-seq.inc b/tests/filesys/extended/grow-seq.inc
index 1b7710c..1b7710c 100644
--- a/pintos-progos/tests/filesys/extended/grow-seq.inc
+++ b/tests/filesys/extended/grow-seq.inc
diff --git a/pintos-progos/tests/filesys/extended/grow-sparse-persistence.ck b/tests/filesys/extended/grow-sparse-persistence.ck
index 3f06a5b..3f06a5b 100644
--- a/pintos-progos/tests/filesys/extended/grow-sparse-persistence.ck
+++ b/tests/filesys/extended/grow-sparse-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-sparse.c b/tests/filesys/extended/grow-sparse.c
index 6eab210..6eab210 100644
--- a/pintos-progos/tests/filesys/extended/grow-sparse.c
+++ b/tests/filesys/extended/grow-sparse.c
diff --git a/pintos-progos/tests/filesys/extended/grow-sparse.ck b/tests/filesys/extended/grow-sparse.ck
index 379ba2c..379ba2c 100644
--- a/pintos-progos/tests/filesys/extended/grow-sparse.ck
+++ b/tests/filesys/extended/grow-sparse.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-tell-persistence.ck b/tests/filesys/extended/grow-tell-persistence.ck
index d93a422..d93a422 100644
--- a/pintos-progos/tests/filesys/extended/grow-tell-persistence.ck
+++ b/tests/filesys/extended/grow-tell-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-tell.c b/tests/filesys/extended/grow-tell.c
index 5f5da5b..5f5da5b 100644
--- a/pintos-progos/tests/filesys/extended/grow-tell.c
+++ b/tests/filesys/extended/grow-tell.c
diff --git a/pintos-progos/tests/filesys/extended/grow-tell.ck b/tests/filesys/extended/grow-tell.ck
index fe94707..fe94707 100644
--- a/pintos-progos/tests/filesys/extended/grow-tell.ck
+++ b/tests/filesys/extended/grow-tell.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-two-files-persistence.ck b/tests/filesys/extended/grow-two-files-persistence.ck
index 1c4ced1..1c4ced1 100644
--- a/pintos-progos/tests/filesys/extended/grow-two-files-persistence.ck
+++ b/tests/filesys/extended/grow-two-files-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/grow-two-files.c b/tests/filesys/extended/grow-two-files.c
index 6a8fb1c..6a8fb1c 100644
--- a/pintos-progos/tests/filesys/extended/grow-two-files.c
+++ b/tests/filesys/extended/grow-two-files.c
diff --git a/pintos-progos/tests/filesys/extended/grow-two-files.ck b/tests/filesys/extended/grow-two-files.ck
index b5e754a..b5e754a 100644
--- a/pintos-progos/tests/filesys/extended/grow-two-files.ck
+++ b/tests/filesys/extended/grow-two-files.ck
diff --git a/pintos-progos/tests/filesys/extended/mk-tree.c b/tests/filesys/extended/mk-tree.c
index a36bb88..a36bb88 100644
--- a/pintos-progos/tests/filesys/extended/mk-tree.c
+++ b/tests/filesys/extended/mk-tree.c
diff --git a/pintos-progos/tests/filesys/extended/mk-tree.h b/tests/filesys/extended/mk-tree.h
index df0d5a6..df0d5a6 100644
--- a/pintos-progos/tests/filesys/extended/mk-tree.h
+++ b/tests/filesys/extended/mk-tree.h
diff --git a/pintos-progos/tests/filesys/extended/syn-rw-persistence.ck b/tests/filesys/extended/syn-rw-persistence.ck
index 62d57ee..62d57ee 100644
--- a/pintos-progos/tests/filesys/extended/syn-rw-persistence.ck
+++ b/tests/filesys/extended/syn-rw-persistence.ck
diff --git a/pintos-progos/tests/filesys/extended/syn-rw.c b/tests/filesys/extended/syn-rw.c
index 657dfb5..657dfb5 100644
--- a/pintos-progos/tests/filesys/extended/syn-rw.c
+++ b/tests/filesys/extended/syn-rw.c
diff --git a/pintos-progos/tests/filesys/extended/syn-rw.ck b/tests/filesys/extended/syn-rw.ck
index ac82aa8..ac82aa8 100644
--- a/pintos-progos/tests/filesys/extended/syn-rw.ck
+++ b/tests/filesys/extended/syn-rw.ck
diff --git a/pintos-progos/tests/filesys/extended/syn-rw.h b/tests/filesys/extended/syn-rw.h
index 170aeb4..170aeb4 100644
--- a/pintos-progos/tests/filesys/extended/syn-rw.h
+++ b/tests/filesys/extended/syn-rw.h
diff --git a/pintos-progos/tests/filesys/extended/tar.c b/tests/filesys/extended/tar.c
index 9801484..9801484 100644
--- a/pintos-progos/tests/filesys/extended/tar.c
+++ b/tests/filesys/extended/tar.c
diff --git a/pintos-progos/tests/filesys/seq-test.c b/tests/filesys/seq-test.c
index 8ce222c..8ce222c 100644
--- a/pintos-progos/tests/filesys/seq-test.c
+++ b/tests/filesys/seq-test.c
diff --git a/pintos-progos/tests/filesys/seq-test.h b/tests/filesys/seq-test.h
index 0697381..0697381 100644
--- a/pintos-progos/tests/filesys/seq-test.h
+++ b/tests/filesys/seq-test.h
diff --git a/pintos-progos/tests/internal/list.c b/tests/internal/list.c
index 836c69e..836c69e 100644
--- a/pintos-progos/tests/internal/list.c
+++ b/tests/internal/list.c
diff --git a/pintos-progos/tests/internal/stdio.c b/tests/internal/stdio.c
index fb60cda..fb60cda 100644
--- a/pintos-progos/tests/internal/stdio.c
+++ b/tests/internal/stdio.c
diff --git a/pintos-progos/tests/internal/stdlib.c b/tests/internal/stdlib.c
index ad0f0f9..ad0f0f9 100644
--- a/pintos-progos/tests/internal/stdlib.c
+++ b/tests/internal/stdlib.c
diff --git a/pintos-progos/tests/intro/Grading b/tests/intro/Grading
index b1ff6b8..b1ff6b8 100644
--- a/pintos-progos/tests/intro/Grading
+++ b/tests/intro/Grading
diff --git a/pintos-progos/tests/intro/alarm-clock/Make.tests b/tests/intro/alarm-clock/Make.tests
index 55ad443..55ad443 100644
--- a/pintos-progos/tests/intro/alarm-clock/Make.tests
+++ b/tests/intro/alarm-clock/Make.tests
diff --git a/pintos-progos/tests/intro/alarm-clock/Rubric b/tests/intro/alarm-clock/Rubric
index 0cf3dc1..0cf3dc1 100644
--- a/pintos-progos/tests/intro/alarm-clock/Rubric
+++ b/tests/intro/alarm-clock/Rubric
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-multiple.ck b/tests/intro/alarm-clock/alarm-multiple.ck
index f3a9edc..f3a9edc 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-multiple.ck
+++ b/tests/intro/alarm-clock/alarm-multiple.ck
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-negative.c b/tests/intro/alarm-clock/alarm-negative.c
index 483aa63..483aa63 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-negative.c
+++ b/tests/intro/alarm-clock/alarm-negative.c
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-negative.ck b/tests/intro/alarm-clock/alarm-negative.ck
index 279520e..279520e 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-negative.ck
+++ b/tests/intro/alarm-clock/alarm-negative.ck
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-simultaneous.c b/tests/intro/alarm-clock/alarm-simultaneous.c
index 6362b61..6362b61 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-simultaneous.c
+++ b/tests/intro/alarm-clock/alarm-simultaneous.c
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-simultaneous.ck b/tests/intro/alarm-clock/alarm-simultaneous.ck
index 7226d0c..7226d0c 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-simultaneous.ck
+++ b/tests/intro/alarm-clock/alarm-simultaneous.ck
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-single.ck b/tests/intro/alarm-clock/alarm-single.ck
index 7f98a51..7f98a51 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-single.ck
+++ b/tests/intro/alarm-clock/alarm-single.ck
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-wait.c b/tests/intro/alarm-clock/alarm-wait.c
index 2755ae5..2755ae5 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-wait.c
+++ b/tests/intro/alarm-clock/alarm-wait.c
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-zero.c b/tests/intro/alarm-clock/alarm-zero.c
index a1f3ca7..a1f3ca7 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-zero.c
+++ b/tests/intro/alarm-clock/alarm-zero.c
diff --git a/pintos-progos/tests/intro/alarm-clock/alarm-zero.ck b/tests/intro/alarm-clock/alarm-zero.ck
index 3f98d64..3f98d64 120000
--- a/pintos-progos/tests/intro/alarm-clock/alarm-zero.ck
+++ b/tests/intro/alarm-clock/alarm-zero.ck
diff --git a/pintos-progos/tests/intro/alarm-clock/tests.c b/tests/intro/alarm-clock/tests.c
index 4a96360..4a96360 100644
--- a/pintos-progos/tests/intro/alarm-clock/tests.c
+++ b/tests/intro/alarm-clock/tests.c
diff --git a/pintos-progos/tests/intro/userprog-args/Make.tests b/tests/intro/userprog-args/Make.tests
index 6f7a474..6f7a474 100644
--- a/pintos-progos/tests/intro/userprog-args/Make.tests
+++ b/tests/intro/userprog-args/Make.tests
diff --git a/pintos-progos/tests/intro/userprog-args/Rubric b/tests/intro/userprog-args/Rubric
index f5474c5..f5474c5 100644
--- a/pintos-progos/tests/intro/userprog-args/Rubric
+++ b/tests/intro/userprog-args/Rubric
diff --git a/pintos-progos/tests/intro/userprog-args/args-dbl-space.ck b/tests/intro/userprog-args/args-dbl-space.ck
index 730d787..730d787 120000
--- a/pintos-progos/tests/intro/userprog-args/args-dbl-space.ck
+++ b/tests/intro/userprog-args/args-dbl-space.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args-limit.c b/tests/intro/userprog-args/args-limit.c
index 159d868..159d868 100644
--- a/pintos-progos/tests/intro/userprog-args/args-limit.c
+++ b/tests/intro/userprog-args/args-limit.c
diff --git a/pintos-progos/tests/intro/userprog-args/args-limit.ck b/tests/intro/userprog-args/args-limit.ck
index ed8ead2..ed8ead2 100644
--- a/pintos-progos/tests/intro/userprog-args/args-limit.ck
+++ b/tests/intro/userprog-args/args-limit.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args-many.ck b/tests/intro/userprog-args/args-many.ck
index ed175bd..ed175bd 120000
--- a/pintos-progos/tests/intro/userprog-args/args-many.ck
+++ b/tests/intro/userprog-args/args-many.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args-multiple.ck b/tests/intro/userprog-args/args-multiple.ck
index 4f9935f..4f9935f 120000
--- a/pintos-progos/tests/intro/userprog-args/args-multiple.ck
+++ b/tests/intro/userprog-args/args-multiple.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args-none.ck b/tests/intro/userprog-args/args-none.ck
index 861d319..861d319 120000
--- a/pintos-progos/tests/intro/userprog-args/args-none.ck
+++ b/tests/intro/userprog-args/args-none.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args-single.ck b/tests/intro/userprog-args/args-single.ck
index df8e737..df8e737 120000
--- a/pintos-progos/tests/intro/userprog-args/args-single.ck
+++ b/tests/intro/userprog-args/args-single.ck
diff --git a/pintos-progos/tests/intro/userprog-args/args.c b/tests/intro/userprog-args/args.c
index 0d798ac..0d798ac 120000
--- a/pintos-progos/tests/intro/userprog-args/args.c
+++ b/tests/intro/userprog-args/args.c
diff --git a/pintos-progos/tests/intro/userprog-args/child-simple.c b/tests/intro/userprog-args/child-simple.c
index f8a3ce7..f8a3ce7 120000
--- a/pintos-progos/tests/intro/userprog-args/child-simple.c
+++ b/tests/intro/userprog-args/child-simple.c
diff --git a/pintos-progos/tests/lib.c b/tests/lib.c
index ee36505..ee36505 100644
--- a/pintos-progos/tests/lib.c
+++ b/tests/lib.c
diff --git a/pintos-progos/tests/lib.h b/tests/lib.h
index 648327b..648327b 100644
--- a/pintos-progos/tests/lib.h
+++ b/tests/lib.h
diff --git a/pintos-progos/tests/lib.pm b/tests/lib.pm
index bc37ae5..bc37ae5 100644
--- a/pintos-progos/tests/lib.pm
+++ b/tests/lib.pm
diff --git a/pintos-progos/tests/main.c b/tests/main.c
index ad1b0f1..ad1b0f1 100644
--- a/pintos-progos/tests/main.c
+++ b/tests/main.c
diff --git a/pintos-progos/tests/main.h b/tests/main.h
index f0e8818..f0e8818 100644
--- a/pintos-progos/tests/main.h
+++ b/tests/main.h
diff --git a/pintos-progos/tests/make-grade b/tests/make-grade
index a3faa0e..a3faa0e 100755
--- a/pintos-progos/tests/make-grade
+++ b/tests/make-grade
diff --git a/pintos-progos/tests/random.pm b/tests/random.pm
index be008ff..be008ff 100644
--- a/pintos-progos/tests/random.pm
+++ b/tests/random.pm
diff --git a/pintos-progos/tests/tests.pm b/tests/tests.pm
index 4599cb9..4599cb9 100644
--- a/pintos-progos/tests/tests.pm
+++ b/tests/tests.pm
diff --git a/pintos-progos/tests/threads/Grading b/tests/threads/Grading
index cc235f2..cc235f2 100644
--- a/pintos-progos/tests/threads/Grading
+++ b/tests/threads/Grading
diff --git a/pintos-progos/tests/threads/Make.tests b/tests/threads/Make.tests
index dbdfd0c..dbdfd0c 100644
--- a/pintos-progos/tests/threads/Make.tests
+++ b/tests/threads/Make.tests
diff --git a/pintos-progos/tests/threads/Rubric.alarm b/tests/threads/Rubric.alarm
index 61abe85..61abe85 100644
--- a/pintos-progos/tests/threads/Rubric.alarm
+++ b/tests/threads/Rubric.alarm
diff --git a/pintos-progos/tests/threads/Rubric.mlfqs b/tests/threads/Rubric.mlfqs
index f260091..f260091 100644
--- a/pintos-progos/tests/threads/Rubric.mlfqs
+++ b/tests/threads/Rubric.mlfqs
diff --git a/pintos-progos/tests/threads/Rubric.priority b/tests/threads/Rubric.priority
index 652bc99..652bc99 100644
--- a/pintos-progos/tests/threads/Rubric.priority
+++ b/tests/threads/Rubric.priority
diff --git a/pintos-progos/tests/threads/alarm-multiple.ck b/tests/threads/alarm-multiple.ck
index fd83bcd..fd83bcd 100644
--- a/pintos-progos/tests/threads/alarm-multiple.ck
+++ b/tests/threads/alarm-multiple.ck
diff --git a/pintos-progos/tests/threads/alarm-negative.c b/tests/threads/alarm-negative.c
index aec52cf..aec52cf 100644
--- a/pintos-progos/tests/threads/alarm-negative.c
+++ b/tests/threads/alarm-negative.c
diff --git a/pintos-progos/tests/threads/alarm-negative.ck b/tests/threads/alarm-negative.ck
index 0d2bab0..0d2bab0 100644
--- a/pintos-progos/tests/threads/alarm-negative.ck
+++ b/tests/threads/alarm-negative.ck
diff --git a/pintos-progos/tests/threads/alarm-priority.c b/tests/threads/alarm-priority.c
index 2288ff6..2288ff6 100644
--- a/pintos-progos/tests/threads/alarm-priority.c
+++ b/tests/threads/alarm-priority.c
diff --git a/pintos-progos/tests/threads/alarm-priority.ck b/tests/threads/alarm-priority.ck
index b57c78b..b57c78b 100644
--- a/pintos-progos/tests/threads/alarm-priority.ck
+++ b/tests/threads/alarm-priority.ck
diff --git a/pintos-progos/tests/threads/alarm-simultaneous.c b/tests/threads/alarm-simultaneous.c
index 844eea4..844eea4 100644
--- a/pintos-progos/tests/threads/alarm-simultaneous.c
+++ b/tests/threads/alarm-simultaneous.c
diff --git a/pintos-progos/tests/threads/alarm-simultaneous.ck b/tests/threads/alarm-simultaneous.ck
index 406b8b0..406b8b0 100644
--- a/pintos-progos/tests/threads/alarm-simultaneous.ck
+++ b/tests/threads/alarm-simultaneous.ck
diff --git a/pintos-progos/tests/threads/alarm-single.ck b/tests/threads/alarm-single.ck
index 31215df..31215df 100644
--- a/pintos-progos/tests/threads/alarm-single.ck
+++ b/tests/threads/alarm-single.ck
diff --git a/pintos-progos/tests/threads/alarm-wait.c b/tests/threads/alarm-wait.c
index 37d3afc..37d3afc 100644
--- a/pintos-progos/tests/threads/alarm-wait.c
+++ b/tests/threads/alarm-wait.c
diff --git a/pintos-progos/tests/threads/alarm-zero.c b/tests/threads/alarm-zero.c
index c8a3ee2..c8a3ee2 100644
--- a/pintos-progos/tests/threads/alarm-zero.c
+++ b/tests/threads/alarm-zero.c
diff --git a/pintos-progos/tests/threads/alarm-zero.ck b/tests/threads/alarm-zero.ck
index a6b1a3c..a6b1a3c 100644
--- a/pintos-progos/tests/threads/alarm-zero.ck
+++ b/tests/threads/alarm-zero.ck
diff --git a/pintos-progos/tests/threads/alarm.pm b/tests/threads/alarm.pm
index 84b3b7f..84b3b7f 100644
--- a/pintos-progos/tests/threads/alarm.pm
+++ b/tests/threads/alarm.pm
diff --git a/pintos-progos/tests/threads/mlfqs-block.c b/tests/threads/mlfqs-block.c
index 6d4992d..6d4992d 100644
--- a/pintos-progos/tests/threads/mlfqs-block.c
+++ b/tests/threads/mlfqs-block.c
diff --git a/pintos-progos/tests/threads/mlfqs-block.ck b/tests/threads/mlfqs-block.ck
index 8833a3a..8833a3a 100644
--- a/pintos-progos/tests/threads/mlfqs-block.ck
+++ b/tests/threads/mlfqs-block.ck
diff --git a/pintos-progos/tests/threads/mlfqs-fair-2.ck b/tests/threads/mlfqs-fair-2.ck
index 5b19ff1..5b19ff1 100644
--- a/pintos-progos/tests/threads/mlfqs-fair-2.ck
+++ b/tests/threads/mlfqs-fair-2.ck
diff --git a/pintos-progos/tests/threads/mlfqs-fair-20.ck b/tests/threads/mlfqs-fair-20.ck
index bb4d051..bb4d051 100644
--- a/pintos-progos/tests/threads/mlfqs-fair-20.ck
+++ b/tests/threads/mlfqs-fair-20.ck
diff --git a/pintos-progos/tests/threads/mlfqs-fair.c b/tests/threads/mlfqs-fair.c
index 3b1bea5..3b1bea5 100644
--- a/pintos-progos/tests/threads/mlfqs-fair.c
+++ b/tests/threads/mlfqs-fair.c
diff --git a/pintos-progos/tests/threads/mlfqs-load-1.c b/tests/threads/mlfqs-load-1.c
index a39eea2..a39eea2 100644
--- a/pintos-progos/tests/threads/mlfqs-load-1.c
+++ b/tests/threads/mlfqs-load-1.c
diff --git a/pintos-progos/tests/threads/mlfqs-load-1.ck b/tests/threads/mlfqs-load-1.ck
index faf0ffa..faf0ffa 100644
--- a/pintos-progos/tests/threads/mlfqs-load-1.ck
+++ b/tests/threads/mlfqs-load-1.ck
diff --git a/pintos-progos/tests/threads/mlfqs-load-60.c b/tests/threads/mlfqs-load-60.c
index b6a3eb6..b6a3eb6 100644
--- a/pintos-progos/tests/threads/mlfqs-load-60.c
+++ b/tests/threads/mlfqs-load-60.c
diff --git a/pintos-progos/tests/threads/mlfqs-load-60.ck b/tests/threads/mlfqs-load-60.ck
index cb69220..cb69220 100644
--- a/pintos-progos/tests/threads/mlfqs-load-60.ck
+++ b/tests/threads/mlfqs-load-60.ck
diff --git a/pintos-progos/tests/threads/mlfqs-load-avg.c b/tests/threads/mlfqs-load-avg.c
index 50e83e2..50e83e2 100644
--- a/pintos-progos/tests/threads/mlfqs-load-avg.c
+++ b/tests/threads/mlfqs-load-avg.c
diff --git a/pintos-progos/tests/threads/mlfqs-load-avg.ck b/tests/threads/mlfqs-load-avg.ck
index 2254d05..2254d05 100644
--- a/pintos-progos/tests/threads/mlfqs-load-avg.ck
+++ b/tests/threads/mlfqs-load-avg.ck
diff --git a/pintos-progos/tests/threads/mlfqs-nice-10.ck b/tests/threads/mlfqs-nice-10.ck
index 53e0abe..53e0abe 100644
--- a/pintos-progos/tests/threads/mlfqs-nice-10.ck
+++ b/tests/threads/mlfqs-nice-10.ck
diff --git a/pintos-progos/tests/threads/mlfqs-nice-2.ck b/tests/threads/mlfqs-nice-2.ck
index ada366b..ada366b 100644
--- a/pintos-progos/tests/threads/mlfqs-nice-2.ck
+++ b/tests/threads/mlfqs-nice-2.ck
diff --git a/pintos-progos/tests/threads/mlfqs-recent-1.c b/tests/threads/mlfqs-recent-1.c
index 4258671..4258671 100644
--- a/pintos-progos/tests/threads/mlfqs-recent-1.c
+++ b/tests/threads/mlfqs-recent-1.c
diff --git a/pintos-progos/tests/threads/mlfqs-recent-1.ck b/tests/threads/mlfqs-recent-1.ck
index a2ba44d..a2ba44d 100644
--- a/pintos-progos/tests/threads/mlfqs-recent-1.ck
+++ b/tests/threads/mlfqs-recent-1.ck
diff --git a/pintos-progos/tests/threads/mlfqs.pm b/tests/threads/mlfqs.pm
index 184ac16..184ac16 100644
--- a/pintos-progos/tests/threads/mlfqs.pm
+++ b/tests/threads/mlfqs.pm
diff --git a/pintos-progos/tests/threads/priority-change.c b/tests/threads/priority-change.c
index 810b05a..810b05a 100644
--- a/pintos-progos/tests/threads/priority-change.c
+++ b/tests/threads/priority-change.c
diff --git a/pintos-progos/tests/threads/priority-change.ck b/tests/threads/priority-change.ck
index f4d9b2f..f4d9b2f 100644
--- a/pintos-progos/tests/threads/priority-change.ck
+++ b/tests/threads/priority-change.ck
diff --git a/pintos-progos/tests/threads/priority-condvar.c b/tests/threads/priority-condvar.c
index c1efb1b..c1efb1b 100644
--- a/pintos-progos/tests/threads/priority-condvar.c
+++ b/tests/threads/priority-condvar.c
diff --git a/pintos-progos/tests/threads/priority-condvar.ck b/tests/threads/priority-condvar.ck
index 195c1ab..195c1ab 100644
--- a/pintos-progos/tests/threads/priority-condvar.ck
+++ b/tests/threads/priority-condvar.ck
diff --git a/pintos-progos/tests/threads/priority-donate-chain.c b/tests/threads/priority-donate-chain.c
index 3ffabca..3ffabca 100644
--- a/pintos-progos/tests/threads/priority-donate-chain.c
+++ b/tests/threads/priority-donate-chain.c
diff --git a/pintos-progos/tests/threads/priority-donate-chain.ck b/tests/threads/priority-donate-chain.ck
index 213e649..213e649 100644
--- a/pintos-progos/tests/threads/priority-donate-chain.ck
+++ b/tests/threads/priority-donate-chain.ck
diff --git a/pintos-progos/tests/threads/priority-donate-lower.c b/tests/threads/priority-donate-lower.c
index 4965d75..4965d75 100644
--- a/pintos-progos/tests/threads/priority-donate-lower.c
+++ b/tests/threads/priority-donate-lower.c
diff --git a/pintos-progos/tests/threads/priority-donate-lower.ck b/tests/threads/priority-donate-lower.ck
index c9bb61b..c9bb61b 100644
--- a/pintos-progos/tests/threads/priority-donate-lower.ck
+++ b/tests/threads/priority-donate-lower.ck
diff --git a/pintos-progos/tests/threads/priority-donate-multiple.c b/tests/threads/priority-donate-multiple.c
index df4689c..df4689c 100644
--- a/pintos-progos/tests/threads/priority-donate-multiple.c
+++ b/tests/threads/priority-donate-multiple.c
diff --git a/pintos-progos/tests/threads/priority-donate-multiple.ck b/tests/threads/priority-donate-multiple.ck
index 0afd20b..0afd20b 100644
--- a/pintos-progos/tests/threads/priority-donate-multiple.ck
+++ b/tests/threads/priority-donate-multiple.ck
diff --git a/pintos-progos/tests/threads/priority-donate-multiple2.c b/tests/threads/priority-donate-multiple2.c
index 7f65fef..7f65fef 100644
--- a/pintos-progos/tests/threads/priority-donate-multiple2.c
+++ b/tests/threads/priority-donate-multiple2.c
diff --git a/pintos-progos/tests/threads/priority-donate-multiple2.ck b/tests/threads/priority-donate-multiple2.ck
index b23533a..b23533a 100644
--- a/pintos-progos/tests/threads/priority-donate-multiple2.ck
+++ b/tests/threads/priority-donate-multiple2.ck
diff --git a/pintos-progos/tests/threads/priority-donate-nest.c b/tests/threads/priority-donate-nest.c
index 3a3a9a5..3a3a9a5 100644
--- a/pintos-progos/tests/threads/priority-donate-nest.c
+++ b/tests/threads/priority-donate-nest.c
diff --git a/pintos-progos/tests/threads/priority-donate-nest.ck b/tests/threads/priority-donate-nest.ck
index 923460e..923460e 100644
--- a/pintos-progos/tests/threads/priority-donate-nest.ck
+++ b/tests/threads/priority-donate-nest.ck
diff --git a/pintos-progos/tests/threads/priority-donate-one.c b/tests/threads/priority-donate-one.c
index 3189f3a..3189f3a 100644
--- a/pintos-progos/tests/threads/priority-donate-one.c
+++ b/tests/threads/priority-donate-one.c
diff --git a/pintos-progos/tests/threads/priority-donate-one.ck b/tests/threads/priority-donate-one.ck
index b7c8e6f..b7c8e6f 100644
--- a/pintos-progos/tests/threads/priority-donate-one.ck
+++ b/tests/threads/priority-donate-one.ck
diff --git a/pintos-progos/tests/threads/priority-donate-sema.c b/tests/threads/priority-donate-sema.c
index b33cb72..b33cb72 100644
--- a/pintos-progos/tests/threads/priority-donate-sema.c
+++ b/tests/threads/priority-donate-sema.c
diff --git a/pintos-progos/tests/threads/priority-donate-sema.ck b/tests/threads/priority-donate-sema.ck
index 92b8d07..92b8d07 100644
--- a/pintos-progos/tests/threads/priority-donate-sema.ck
+++ b/tests/threads/priority-donate-sema.ck
diff --git a/pintos-progos/tests/threads/priority-fifo.c b/tests/threads/priority-fifo.c
index 3af98a3..3af98a3 100644
--- a/pintos-progos/tests/threads/priority-fifo.c
+++ b/tests/threads/priority-fifo.c
diff --git a/pintos-progos/tests/threads/priority-fifo.ck b/tests/threads/priority-fifo.ck
index 11f1dd3..11f1dd3 100644
--- a/pintos-progos/tests/threads/priority-fifo.ck
+++ b/tests/threads/priority-fifo.ck
diff --git a/pintos-progos/tests/threads/priority-preempt.c b/tests/threads/priority-preempt.c
index 3c3aacb..3c3aacb 100644
--- a/pintos-progos/tests/threads/priority-preempt.c
+++ b/tests/threads/priority-preempt.c
diff --git a/pintos-progos/tests/threads/priority-preempt.ck b/tests/threads/priority-preempt.ck
index 43a26ee..43a26ee 100644
--- a/pintos-progos/tests/threads/priority-preempt.ck
+++ b/tests/threads/priority-preempt.ck
diff --git a/pintos-progos/tests/threads/priority-sema.c b/tests/threads/priority-sema.c
index 2834a88..2834a88 100644
--- a/pintos-progos/tests/threads/priority-sema.c
+++ b/tests/threads/priority-sema.c
diff --git a/pintos-progos/tests/threads/priority-sema.ck b/tests/threads/priority-sema.ck
index 559988d..559988d 100644
--- a/pintos-progos/tests/threads/priority-sema.ck
+++ b/tests/threads/priority-sema.ck
diff --git a/pintos-progos/tests/threads/tests.c b/tests/threads/tests.c
index af15aee..af15aee 100644
--- a/pintos-progos/tests/threads/tests.c
+++ b/tests/threads/tests.c
diff --git a/pintos-progos/tests/threads/tests.h b/tests/threads/tests.h
index cd9d489..cd9d489 100644
--- a/pintos-progos/tests/threads/tests.h
+++ b/tests/threads/tests.h
diff --git a/pintos-progos/tests/userprog/Make.tests b/tests/userprog/Make.tests
index 88b0737..88b0737 100644
--- a/pintos-progos/tests/userprog/Make.tests
+++ b/tests/userprog/Make.tests
diff --git a/pintos-progos/tests/userprog/Rubric.functionality b/tests/userprog/Rubric.functionality
index ea76c44..ea76c44 100644
--- a/pintos-progos/tests/userprog/Rubric.functionality
+++ b/tests/userprog/Rubric.functionality
diff --git a/pintos-progos/tests/userprog/Rubric.robustness b/tests/userprog/Rubric.robustness
index b7d1035..b7d1035 100644
--- a/pintos-progos/tests/userprog/Rubric.robustness
+++ b/tests/userprog/Rubric.robustness
diff --git a/pintos-progos/tests/userprog/args-dbl-space.ck b/tests/userprog/args-dbl-space.ck
index dfbcf4b..dfbcf4b 100644
--- a/pintos-progos/tests/userprog/args-dbl-space.ck
+++ b/tests/userprog/args-dbl-space.ck
diff --git a/pintos-progos/tests/userprog/args-many.ck b/tests/userprog/args-many.ck
index 214574a..214574a 100644
--- a/pintos-progos/tests/userprog/args-many.ck
+++ b/tests/userprog/args-many.ck
diff --git a/pintos-progos/tests/userprog/args-multiple.ck b/tests/userprog/args-multiple.ck
index 227e6cc..227e6cc 100644
--- a/pintos-progos/tests/userprog/args-multiple.ck
+++ b/tests/userprog/args-multiple.ck
diff --git a/pintos-progos/tests/userprog/args-none.ck b/tests/userprog/args-none.ck
index 146318e..146318e 100644
--- a/pintos-progos/tests/userprog/args-none.ck
+++ b/tests/userprog/args-none.ck
diff --git a/pintos-progos/tests/userprog/args-single.ck b/tests/userprog/args-single.ck
index 24582b4..24582b4 100644
--- a/pintos-progos/tests/userprog/args-single.ck
+++ b/tests/userprog/args-single.ck
diff --git a/pintos-progos/tests/userprog/args.c b/tests/userprog/args.c
index 20eda44..20eda44 100644
--- a/pintos-progos/tests/userprog/args.c
+++ b/tests/userprog/args.c
diff --git a/pintos-progos/tests/userprog/bad-jump.c b/tests/userprog/bad-jump.c
index 51b7c9f..51b7c9f 100644
--- a/pintos-progos/tests/userprog/bad-jump.c
+++ b/tests/userprog/bad-jump.c
diff --git a/pintos-progos/tests/userprog/bad-jump.ck b/tests/userprog/bad-jump.ck
index e1c178b..e1c178b 100644
--- a/pintos-progos/tests/userprog/bad-jump.ck
+++ b/tests/userprog/bad-jump.ck
diff --git a/pintos-progos/tests/userprog/bad-jump2.c b/tests/userprog/bad-jump2.c
index dc7c2a7..dc7c2a7 100644
--- a/pintos-progos/tests/userprog/bad-jump2.c
+++ b/tests/userprog/bad-jump2.c
diff --git a/pintos-progos/tests/userprog/bad-jump2.ck b/tests/userprog/bad-jump2.ck
index 35f0f97..35f0f97 100644
--- a/pintos-progos/tests/userprog/bad-jump2.ck
+++ b/tests/userprog/bad-jump2.ck
diff --git a/pintos-progos/tests/userprog/bad-read.c b/tests/userprog/bad-read.c
index 904c278..904c278 100644
--- a/pintos-progos/tests/userprog/bad-read.c
+++ b/tests/userprog/bad-read.c
diff --git a/pintos-progos/tests/userprog/bad-read.ck b/tests/userprog/bad-read.ck
index 4d4d926..4d4d926 100644
--- a/pintos-progos/tests/userprog/bad-read.ck
+++ b/tests/userprog/bad-read.ck
diff --git a/pintos-progos/tests/userprog/bad-read2.c b/tests/userprog/bad-read2.c
index a2fc237..a2fc237 100644
--- a/pintos-progos/tests/userprog/bad-read2.c
+++ b/tests/userprog/bad-read2.c
diff --git a/pintos-progos/tests/userprog/bad-read2.ck b/tests/userprog/bad-read2.ck
index fa27c7d..fa27c7d 100644
--- a/pintos-progos/tests/userprog/bad-read2.ck
+++ b/tests/userprog/bad-read2.ck
diff --git a/pintos-progos/tests/userprog/bad-write.c b/tests/userprog/bad-write.c
index 000c26b..000c26b 100644
--- a/pintos-progos/tests/userprog/bad-write.c
+++ b/tests/userprog/bad-write.c
diff --git a/pintos-progos/tests/userprog/bad-write.ck b/tests/userprog/bad-write.ck
index d213b49..d213b49 100644
--- a/pintos-progos/tests/userprog/bad-write.ck
+++ b/tests/userprog/bad-write.ck
diff --git a/pintos-progos/tests/userprog/bad-write2.c b/tests/userprog/bad-write2.c
index 753da1e..753da1e 100644
--- a/pintos-progos/tests/userprog/bad-write2.c
+++ b/tests/userprog/bad-write2.c
diff --git a/pintos-progos/tests/userprog/bad-write2.ck b/tests/userprog/bad-write2.ck
index c6a3420..c6a3420 100644
--- a/pintos-progos/tests/userprog/bad-write2.ck
+++ b/tests/userprog/bad-write2.ck
diff --git a/pintos-progos/tests/userprog/boundary.c b/tests/userprog/boundary.c
index 59907ec..59907ec 100644
--- a/pintos-progos/tests/userprog/boundary.c
+++ b/tests/userprog/boundary.c
diff --git a/pintos-progos/tests/userprog/boundary.h b/tests/userprog/boundary.h
index c8e4b3b..c8e4b3b 100644
--- a/pintos-progos/tests/userprog/boundary.h
+++ b/tests/userprog/boundary.h
diff --git a/pintos-progos/tests/userprog/child-bad.c b/tests/userprog/child-bad.c
index 77d7a69..77d7a69 100644
--- a/pintos-progos/tests/userprog/child-bad.c
+++ b/tests/userprog/child-bad.c
diff --git a/pintos-progos/tests/userprog/child-close.c b/tests/userprog/child-close.c
index ac948c8..ac948c8 100644
--- a/pintos-progos/tests/userprog/child-close.c
+++ b/tests/userprog/child-close.c
diff --git a/pintos-progos/tests/userprog/child-rox.c b/tests/userprog/child-rox.c
index aba808b..aba808b 100644
--- a/pintos-progos/tests/userprog/child-rox.c
+++ b/tests/userprog/child-rox.c
diff --git a/pintos-progos/tests/userprog/child-simple.c b/tests/userprog/child-simple.c
index 0d2dacf..0d2dacf 100644
--- a/pintos-progos/tests/userprog/child-simple.c
+++ b/tests/userprog/child-simple.c
diff --git a/pintos-progos/tests/userprog/close-bad-fd.c b/tests/userprog/close-bad-fd.c
index f63bb9a..f63bb9a 100644
--- a/pintos-progos/tests/userprog/close-bad-fd.c
+++ b/tests/userprog/close-bad-fd.c
diff --git a/pintos-progos/tests/userprog/close-bad-fd.ck b/tests/userprog/close-bad-fd.ck
index 497b17c..497b17c 100644
--- a/pintos-progos/tests/userprog/close-bad-fd.ck
+++ b/tests/userprog/close-bad-fd.ck
diff --git a/pintos-progos/tests/userprog/close-normal.c b/tests/userprog/close-normal.c
index 8ce04e3..8ce04e3 100644
--- a/pintos-progos/tests/userprog/close-normal.c
+++ b/tests/userprog/close-normal.c
diff --git a/pintos-progos/tests/userprog/close-normal.ck b/tests/userprog/close-normal.ck
index fe41342..fe41342 100644
--- a/pintos-progos/tests/userprog/close-normal.ck
+++ b/tests/userprog/close-normal.ck
diff --git a/pintos-progos/tests/userprog/close-stdin.c b/tests/userprog/close-stdin.c
index 9bbf9f2..9bbf9f2 100644
--- a/pintos-progos/tests/userprog/close-stdin.c
+++ b/tests/userprog/close-stdin.c
diff --git a/pintos-progos/tests/userprog/close-stdin.ck b/tests/userprog/close-stdin.ck
index 3d28507..3d28507 100644
--- a/pintos-progos/tests/userprog/close-stdin.ck
+++ b/tests/userprog/close-stdin.ck
diff --git a/pintos-progos/tests/userprog/close-stdout.c b/tests/userprog/close-stdout.c
index 886523f..886523f 100644
--- a/pintos-progos/tests/userprog/close-stdout.c
+++ b/tests/userprog/close-stdout.c
diff --git a/pintos-progos/tests/userprog/close-stdout.ck b/tests/userprog/close-stdout.ck
index 3cbbcff..3cbbcff 100644
--- a/pintos-progos/tests/userprog/close-stdout.ck
+++ b/tests/userprog/close-stdout.ck
diff --git a/pintos-progos/tests/userprog/close-twice.c b/tests/userprog/close-twice.c
index 830bccf..830bccf 100644
--- a/pintos-progos/tests/userprog/close-twice.c
+++ b/tests/userprog/close-twice.c
diff --git a/pintos-progos/tests/userprog/close-twice.ck b/tests/userprog/close-twice.ck
index deb55a6..deb55a6 100644
--- a/pintos-progos/tests/userprog/close-twice.ck
+++ b/tests/userprog/close-twice.ck
diff --git a/pintos-progos/tests/userprog/create-bad-ptr.c b/tests/userprog/create-bad-ptr.c
index 4a07bb3..4a07bb3 100644
--- a/pintos-progos/tests/userprog/create-bad-ptr.c
+++ b/tests/userprog/create-bad-ptr.c
diff --git a/pintos-progos/tests/userprog/create-bad-ptr.ck b/tests/userprog/create-bad-ptr.ck
index ac13405..ac13405 100644
--- a/pintos-progos/tests/userprog/create-bad-ptr.ck
+++ b/tests/userprog/create-bad-ptr.ck
diff --git a/pintos-progos/tests/userprog/create-bound.c b/tests/userprog/create-bound.c
index 0a829f3..0a829f3 100644
--- a/pintos-progos/tests/userprog/create-bound.c
+++ b/tests/userprog/create-bound.c
diff --git a/pintos-progos/tests/userprog/create-bound.ck b/tests/userprog/create-bound.ck
index 7656b7f..7656b7f 100644
--- a/pintos-progos/tests/userprog/create-bound.ck
+++ b/tests/userprog/create-bound.ck
diff --git a/pintos-progos/tests/userprog/create-empty.c b/tests/userprog/create-empty.c
index fa26b43..fa26b43 100644
--- a/pintos-progos/tests/userprog/create-empty.c
+++ b/tests/userprog/create-empty.c
diff --git a/pintos-progos/tests/userprog/create-empty.ck b/tests/userprog/create-empty.ck
index 93a1058..93a1058 100644
--- a/pintos-progos/tests/userprog/create-empty.ck
+++ b/tests/userprog/create-empty.ck
diff --git a/pintos-progos/tests/userprog/create-exists.c b/tests/userprog/create-exists.c
index d395008..d395008 100644
--- a/pintos-progos/tests/userprog/create-exists.c
+++ b/tests/userprog/create-exists.c
diff --git a/pintos-progos/tests/userprog/create-exists.ck b/tests/userprog/create-exists.ck
index 006885e..006885e 100644
--- a/pintos-progos/tests/userprog/create-exists.ck
+++ b/tests/userprog/create-exists.ck
diff --git a/pintos-progos/tests/userprog/create-long.c b/tests/userprog/create-long.c
index 16b31bd..16b31bd 100644
--- a/pintos-progos/tests/userprog/create-long.c
+++ b/tests/userprog/create-long.c
diff --git a/pintos-progos/tests/userprog/create-long.ck b/tests/userprog/create-long.ck
index 628411c..628411c 100644
--- a/pintos-progos/tests/userprog/create-long.ck
+++ b/tests/userprog/create-long.ck
diff --git a/pintos-progos/tests/userprog/create-normal.c b/tests/userprog/create-normal.c
index 3cbc463..3cbc463 100644
--- a/pintos-progos/tests/userprog/create-normal.c
+++ b/tests/userprog/create-normal.c
diff --git a/pintos-progos/tests/userprog/create-normal.ck b/tests/userprog/create-normal.ck
index ca74a6e..ca74a6e 100644
--- a/pintos-progos/tests/userprog/create-normal.ck
+++ b/tests/userprog/create-normal.ck
diff --git a/pintos-progos/tests/userprog/create-null.c b/tests/userprog/create-null.c
index 287cb23..287cb23 100644
--- a/pintos-progos/tests/userprog/create-null.c
+++ b/tests/userprog/create-null.c
diff --git a/pintos-progos/tests/userprog/create-null.ck b/tests/userprog/create-null.ck
index 09b7872..09b7872 100644
--- a/pintos-progos/tests/userprog/create-null.ck
+++ b/tests/userprog/create-null.ck
diff --git a/pintos-progos/tests/userprog/exec-arg.c b/tests/userprog/exec-arg.c
index 82d0744..82d0744 100644
--- a/pintos-progos/tests/userprog/exec-arg.c
+++ b/tests/userprog/exec-arg.c
diff --git a/pintos-progos/tests/userprog/exec-arg.ck b/tests/userprog/exec-arg.ck
index b7533ed..b7533ed 100644
--- a/pintos-progos/tests/userprog/exec-arg.ck
+++ b/tests/userprog/exec-arg.ck
diff --git a/pintos-progos/tests/userprog/exec-bad-ptr.c b/tests/userprog/exec-bad-ptr.c
index 0abadd3..0abadd3 100644
--- a/pintos-progos/tests/userprog/exec-bad-ptr.c
+++ b/tests/userprog/exec-bad-ptr.c
diff --git a/pintos-progos/tests/userprog/exec-bad-ptr.ck b/tests/userprog/exec-bad-ptr.ck
index 63f5f78..63f5f78 100644
--- a/pintos-progos/tests/userprog/exec-bad-ptr.ck
+++ b/tests/userprog/exec-bad-ptr.ck
diff --git a/pintos-progos/tests/userprog/exec-missing.c b/tests/userprog/exec-missing.c
index bf08cad..bf08cad 100644
--- a/pintos-progos/tests/userprog/exec-missing.c
+++ b/tests/userprog/exec-missing.c
diff --git a/pintos-progos/tests/userprog/exec-missing.ck b/tests/userprog/exec-missing.ck
index 0ef7aaa..0ef7aaa 100644
--- a/pintos-progos/tests/userprog/exec-missing.ck
+++ b/tests/userprog/exec-missing.ck
diff --git a/pintos-progos/tests/userprog/exec-multiple.c b/tests/userprog/exec-multiple.c
index ba4c26e..ba4c26e 100644
--- a/pintos-progos/tests/userprog/exec-multiple.c
+++ b/tests/userprog/exec-multiple.c
diff --git a/pintos-progos/tests/userprog/exec-multiple.ck b/tests/userprog/exec-multiple.ck
index 99624cd..99624cd 100644
--- a/pintos-progos/tests/userprog/exec-multiple.ck
+++ b/tests/userprog/exec-multiple.ck
diff --git a/pintos-progos/tests/userprog/exec-once.c b/tests/userprog/exec-once.c
index 7bae5a1..7bae5a1 100644
--- a/pintos-progos/tests/userprog/exec-once.c
+++ b/tests/userprog/exec-once.c
diff --git a/pintos-progos/tests/userprog/exec-once.ck b/tests/userprog/exec-once.ck
index 00b59ed..00b59ed 100644
--- a/pintos-progos/tests/userprog/exec-once.ck
+++ b/tests/userprog/exec-once.ck
diff --git a/pintos-progos/tests/userprog/exit.c b/tests/userprog/exit.c
index cb4eb8f..cb4eb8f 100644
--- a/pintos-progos/tests/userprog/exit.c
+++ b/tests/userprog/exit.c
diff --git a/pintos-progos/tests/userprog/exit.ck b/tests/userprog/exit.ck
index a552702..a552702 100644
--- a/pintos-progos/tests/userprog/exit.ck
+++ b/tests/userprog/exit.ck
diff --git a/pintos-progos/tests/userprog/halt.c b/tests/userprog/halt.c
index 4a99bce..4a99bce 100644
--- a/pintos-progos/tests/userprog/halt.c
+++ b/tests/userprog/halt.c
diff --git a/pintos-progos/tests/userprog/halt.ck b/tests/userprog/halt.ck
index 1b701ed..1b701ed 100644
--- a/pintos-progos/tests/userprog/halt.ck
+++ b/tests/userprog/halt.ck
diff --git a/pintos-progos/tests/userprog/lib/.gitignore b/tests/userprog/lib/.gitignore
index a438335..a438335 100644
--- a/pintos-progos/tests/userprog/lib/.gitignore
+++ b/tests/userprog/lib/.gitignore
diff --git a/pintos-progos/tests/userprog/lib/user/.dummy b/tests/userprog/lib/user/.dummy
index e69de29..e69de29 100644
--- a/pintos-progos/tests/userprog/lib/user/.dummy
+++ b/tests/userprog/lib/user/.dummy
diff --git a/pintos-progos/tests/userprog/lib/user/.gitignore b/tests/userprog/lib/user/.gitignore
index a438335..a438335 100644
--- a/pintos-progos/tests/userprog/lib/user/.gitignore
+++ b/tests/userprog/lib/user/.gitignore
diff --git a/pintos-progos/tests/userprog/multi-child-fd.c b/tests/userprog/multi-child-fd.c
index 48de4b4..48de4b4 100644
--- a/pintos-progos/tests/userprog/multi-child-fd.c
+++ b/tests/userprog/multi-child-fd.c
diff --git a/pintos-progos/tests/userprog/multi-child-fd.ck b/tests/userprog/multi-child-fd.ck
index d0b3a33..d0b3a33 100644
--- a/pintos-progos/tests/userprog/multi-child-fd.ck
+++ b/tests/userprog/multi-child-fd.ck
diff --git a/pintos-progos/tests/userprog/multi-recurse.c b/tests/userprog/multi-recurse.c
index 7172ec3..7172ec3 100644
--- a/pintos-progos/tests/userprog/multi-recurse.c
+++ b/tests/userprog/multi-recurse.c
diff --git a/pintos-progos/tests/userprog/multi-recurse.ck b/tests/userprog/multi-recurse.ck
index 41eb4a6..41eb4a6 100644
--- a/pintos-progos/tests/userprog/multi-recurse.ck
+++ b/tests/userprog/multi-recurse.ck
diff --git a/pintos-progos/tests/userprog/no-vm/Make.tests b/tests/userprog/no-vm/Make.tests
index a545e18..a545e18 100644
--- a/pintos-progos/tests/userprog/no-vm/Make.tests
+++ b/tests/userprog/no-vm/Make.tests
diff --git a/pintos-progos/tests/userprog/no-vm/Rubric b/tests/userprog/no-vm/Rubric
index c3816c6..c3816c6 100644
--- a/pintos-progos/tests/userprog/no-vm/Rubric
+++ b/tests/userprog/no-vm/Rubric
diff --git a/pintos-progos/tests/userprog/no-vm/multi-oom.c b/tests/userprog/no-vm/multi-oom.c
index 6a4472d..6a4472d 100644
--- a/pintos-progos/tests/userprog/no-vm/multi-oom.c
+++ b/tests/userprog/no-vm/multi-oom.c
diff --git a/pintos-progos/tests/userprog/no-vm/multi-oom.ck b/tests/userprog/no-vm/multi-oom.ck
index 59a0bcd..59a0bcd 100644
--- a/pintos-progos/tests/userprog/no-vm/multi-oom.ck
+++ b/tests/userprog/no-vm/multi-oom.ck
diff --git a/pintos-progos/tests/userprog/null.ck b/tests/userprog/null.ck
index 980de35..980de35 100644
--- a/pintos-progos/tests/userprog/null.ck
+++ b/tests/userprog/null.ck
diff --git a/pintos-progos/tests/userprog/open-bad-ptr.c b/tests/userprog/open-bad-ptr.c
index 9cd4edf..9cd4edf 100644
--- a/pintos-progos/tests/userprog/open-bad-ptr.c
+++ b/tests/userprog/open-bad-ptr.c
diff --git a/pintos-progos/tests/userprog/open-bad-ptr.ck b/tests/userprog/open-bad-ptr.ck
index 45349e2..45349e2 100644
--- a/pintos-progos/tests/userprog/open-bad-ptr.ck
+++ b/tests/userprog/open-bad-ptr.ck
diff --git a/pintos-progos/tests/userprog/open-boundary.c b/tests/userprog/open-boundary.c
index cc8ff8b..cc8ff8b 100644
--- a/pintos-progos/tests/userprog/open-boundary.c
+++ b/tests/userprog/open-boundary.c
diff --git a/pintos-progos/tests/userprog/open-boundary.ck b/tests/userprog/open-boundary.ck
index 8060d22..8060d22 100644
--- a/pintos-progos/tests/userprog/open-boundary.ck
+++ b/tests/userprog/open-boundary.ck
diff --git a/pintos-progos/tests/userprog/open-empty.c b/tests/userprog/open-empty.c
index 3ea9907..3ea9907 100644
--- a/pintos-progos/tests/userprog/open-empty.c
+++ b/tests/userprog/open-empty.c
diff --git a/pintos-progos/tests/userprog/open-empty.ck b/tests/userprog/open-empty.ck
index 885fb41..885fb41 100644
--- a/pintos-progos/tests/userprog/open-empty.ck
+++ b/tests/userprog/open-empty.ck
diff --git a/pintos-progos/tests/userprog/open-missing.c b/tests/userprog/open-missing.c
index 13ecbda..13ecbda 100644
--- a/pintos-progos/tests/userprog/open-missing.c
+++ b/tests/userprog/open-missing.c
diff --git a/pintos-progos/tests/userprog/open-missing.ck b/tests/userprog/open-missing.ck
index d72d878..d72d878 100644
--- a/pintos-progos/tests/userprog/open-missing.ck
+++ b/tests/userprog/open-missing.ck
diff --git a/pintos-progos/tests/userprog/open-normal.c b/tests/userprog/open-normal.c
index 5132465..5132465 100644
--- a/pintos-progos/tests/userprog/open-normal.c
+++ b/tests/userprog/open-normal.c
diff --git a/pintos-progos/tests/userprog/open-normal.ck b/tests/userprog/open-normal.ck
index 4f6c342..4f6c342 100644
--- a/pintos-progos/tests/userprog/open-normal.ck
+++ b/tests/userprog/open-normal.ck
diff --git a/pintos-progos/tests/userprog/open-null.c b/tests/userprog/open-null.c
index bb418b8..bb418b8 100644
--- a/pintos-progos/tests/userprog/open-null.c
+++ b/tests/userprog/open-null.c
diff --git a/pintos-progos/tests/userprog/open-null.ck b/tests/userprog/open-null.ck
index b4a3bcb..b4a3bcb 100644
--- a/pintos-progos/tests/userprog/open-null.ck
+++ b/tests/userprog/open-null.ck
diff --git a/pintos-progos/tests/userprog/open-twice.c b/tests/userprog/open-twice.c
index dd333af..dd333af 100644
--- a/pintos-progos/tests/userprog/open-twice.c
+++ b/tests/userprog/open-twice.c
diff --git a/pintos-progos/tests/userprog/open-twice.ck b/tests/userprog/open-twice.ck
index 64fa805..64fa805 100644
--- a/pintos-progos/tests/userprog/open-twice.ck
+++ b/tests/userprog/open-twice.ck
diff --git a/pintos-progos/tests/userprog/read-bad-fd.c b/tests/userprog/read-bad-fd.c
index a8b190d..a8b190d 100644
--- a/pintos-progos/tests/userprog/read-bad-fd.c
+++ b/tests/userprog/read-bad-fd.c
diff --git a/pintos-progos/tests/userprog/read-bad-fd.ck b/tests/userprog/read-bad-fd.ck
index 5fedcc7..5fedcc7 100644
--- a/pintos-progos/tests/userprog/read-bad-fd.ck
+++ b/tests/userprog/read-bad-fd.ck
diff --git a/pintos-progos/tests/userprog/read-bad-ptr.c b/tests/userprog/read-bad-ptr.c
index 8fe756e..8fe756e 100644
--- a/pintos-progos/tests/userprog/read-bad-ptr.c
+++ b/tests/userprog/read-bad-ptr.c
diff --git a/pintos-progos/tests/userprog/read-bad-ptr.ck b/tests/userprog/read-bad-ptr.ck
index d10accf..d10accf 100644
--- a/pintos-progos/tests/userprog/read-bad-ptr.ck
+++ b/tests/userprog/read-bad-ptr.ck
diff --git a/pintos-progos/tests/userprog/read-boundary.c b/tests/userprog/read-boundary.c
index 9c19966..9c19966 100644
--- a/pintos-progos/tests/userprog/read-boundary.c
+++ b/tests/userprog/read-boundary.c
diff --git a/pintos-progos/tests/userprog/read-boundary.ck b/tests/userprog/read-boundary.ck
index 08dc161..08dc161 100644
--- a/pintos-progos/tests/userprog/read-boundary.ck
+++ b/tests/userprog/read-boundary.ck
diff --git a/pintos-progos/tests/userprog/read-normal.c b/tests/userprog/read-normal.c
index 16d15cc..16d15cc 100644
--- a/pintos-progos/tests/userprog/read-normal.c
+++ b/tests/userprog/read-normal.c
diff --git a/pintos-progos/tests/userprog/read-normal.ck b/tests/userprog/read-normal.ck
index 0ed2998..0ed2998 100644
--- a/pintos-progos/tests/userprog/read-normal.ck
+++ b/tests/userprog/read-normal.ck
diff --git a/pintos-progos/tests/userprog/read-stdout.c b/tests/userprog/read-stdout.c
index d0630b9..d0630b9 100644
--- a/pintos-progos/tests/userprog/read-stdout.c
+++ b/tests/userprog/read-stdout.c
diff --git a/pintos-progos/tests/userprog/read-stdout.ck b/tests/userprog/read-stdout.ck
index 7d87b52..7d87b52 100644
--- a/pintos-progos/tests/userprog/read-stdout.ck
+++ b/tests/userprog/read-stdout.ck
diff --git a/pintos-progos/tests/userprog/read-zero.c b/tests/userprog/read-zero.c
index e441817..e441817 100644
--- a/pintos-progos/tests/userprog/read-zero.c
+++ b/tests/userprog/read-zero.c
diff --git a/pintos-progos/tests/userprog/read-zero.ck b/tests/userprog/read-zero.ck
index 8346dbc..8346dbc 100644
--- a/pintos-progos/tests/userprog/read-zero.ck
+++ b/tests/userprog/read-zero.ck
diff --git a/pintos-progos/tests/userprog/rox-child.c b/tests/userprog/rox-child.c
index 30afba2..30afba2 100644
--- a/pintos-progos/tests/userprog/rox-child.c
+++ b/tests/userprog/rox-child.c
diff --git a/pintos-progos/tests/userprog/rox-child.ck b/tests/userprog/rox-child.ck
index e6363fb..e6363fb 100644
--- a/pintos-progos/tests/userprog/rox-child.ck
+++ b/tests/userprog/rox-child.ck
diff --git a/pintos-progos/tests/userprog/rox-child.inc b/tests/userprog/rox-child.inc
index 1e2ade9..1e2ade9 100644
--- a/pintos-progos/tests/userprog/rox-child.inc
+++ b/tests/userprog/rox-child.inc
diff --git a/pintos-progos/tests/userprog/rox-multichild.c b/tests/userprog/rox-multichild.c
index 8e74dab..8e74dab 100644
--- a/pintos-progos/tests/userprog/rox-multichild.c
+++ b/tests/userprog/rox-multichild.c
diff --git a/pintos-progos/tests/userprog/rox-multichild.ck b/tests/userprog/rox-multichild.ck
index 14b27db..14b27db 100644
--- a/pintos-progos/tests/userprog/rox-multichild.ck
+++ b/tests/userprog/rox-multichild.ck
diff --git a/pintos-progos/tests/userprog/rox-simple.c b/tests/userprog/rox-simple.c
index e84a064..e84a064 100644
--- a/pintos-progos/tests/userprog/rox-simple.c
+++ b/tests/userprog/rox-simple.c
diff --git a/pintos-progos/tests/userprog/rox-simple.ck b/tests/userprog/rox-simple.ck
index c9dcc66..c9dcc66 100644
--- a/pintos-progos/tests/userprog/rox-simple.ck
+++ b/tests/userprog/rox-simple.ck
diff --git a/pintos-progos/tests/userprog/sample.inc b/tests/userprog/sample.inc
index 59f2bcb..59f2bcb 100644
--- a/pintos-progos/tests/userprog/sample.inc
+++ b/tests/userprog/sample.inc
diff --git a/pintos-progos/tests/userprog/sample.txt b/tests/userprog/sample.txt
index 5050fec..5050fec 100644
--- a/pintos-progos/tests/userprog/sample.txt
+++ b/tests/userprog/sample.txt
diff --git a/pintos-progos/tests/userprog/sc-bad-arg.c b/tests/userprog/sc-bad-arg.c
index 0b512a0..0b512a0 100644
--- a/pintos-progos/tests/userprog/sc-bad-arg.c
+++ b/tests/userprog/sc-bad-arg.c
diff --git a/pintos-progos/tests/userprog/sc-bad-arg.ck b/tests/userprog/sc-bad-arg.ck
index 8981105..8981105 100644
--- a/pintos-progos/tests/userprog/sc-bad-arg.ck
+++ b/tests/userprog/sc-bad-arg.ck
diff --git a/pintos-progos/tests/userprog/sc-bad-sp.c b/tests/userprog/sc-bad-sp.c
index 39cce84..39cce84 100644
--- a/pintos-progos/tests/userprog/sc-bad-sp.c
+++ b/tests/userprog/sc-bad-sp.c
diff --git a/pintos-progos/tests/userprog/sc-bad-sp.ck b/tests/userprog/sc-bad-sp.ck
index 498cec1..498cec1 100644
--- a/pintos-progos/tests/userprog/sc-bad-sp.ck
+++ b/tests/userprog/sc-bad-sp.ck
diff --git a/pintos-progos/tests/userprog/sc-boundary-2.c b/tests/userprog/sc-boundary-2.c
index 8acf036..8acf036 100644
--- a/pintos-progos/tests/userprog/sc-boundary-2.c
+++ b/tests/userprog/sc-boundary-2.c
diff --git a/pintos-progos/tests/userprog/sc-boundary-2.ck b/tests/userprog/sc-boundary-2.ck
index 43766bf..43766bf 100644
--- a/pintos-progos/tests/userprog/sc-boundary-2.ck
+++ b/tests/userprog/sc-boundary-2.ck
diff --git a/pintos-progos/tests/userprog/sc-boundary.c b/tests/userprog/sc-boundary.c
index d889535..d889535 100644
--- a/pintos-progos/tests/userprog/sc-boundary.c
+++ b/tests/userprog/sc-boundary.c
diff --git a/pintos-progos/tests/userprog/sc-boundary.ck b/tests/userprog/sc-boundary.ck
index 3f7cbaf..3f7cbaf 100644
--- a/pintos-progos/tests/userprog/sc-boundary.ck
+++ b/tests/userprog/sc-boundary.ck
diff --git a/pintos-progos/tests/userprog/wait-bad-pid.c b/tests/userprog/wait-bad-pid.c
index 3fe8ee4..3fe8ee4 100644
--- a/pintos-progos/tests/userprog/wait-bad-pid.c
+++ b/tests/userprog/wait-bad-pid.c
diff --git a/pintos-progos/tests/userprog/wait-bad-pid.ck b/tests/userprog/wait-bad-pid.ck
index db63fb9..db63fb9 100644
--- a/pintos-progos/tests/userprog/wait-bad-pid.ck
+++ b/tests/userprog/wait-bad-pid.ck
diff --git a/pintos-progos/tests/userprog/wait-killed.c b/tests/userprog/wait-killed.c
index 6a2a6b5..6a2a6b5 100644
--- a/pintos-progos/tests/userprog/wait-killed.c
+++ b/tests/userprog/wait-killed.c
diff --git a/pintos-progos/tests/userprog/wait-killed.ck b/tests/userprog/wait-killed.ck
index 5df0e9c..5df0e9c 100644
--- a/pintos-progos/tests/userprog/wait-killed.ck
+++ b/tests/userprog/wait-killed.ck
diff --git a/pintos-progos/tests/userprog/wait-simple.c b/tests/userprog/wait-simple.c
index d3afcf3..d3afcf3 100644
--- a/pintos-progos/tests/userprog/wait-simple.c
+++ b/tests/userprog/wait-simple.c
diff --git a/pintos-progos/tests/userprog/wait-simple.ck b/tests/userprog/wait-simple.ck
index 93dd577..93dd577 100644
--- a/pintos-progos/tests/userprog/wait-simple.ck
+++ b/tests/userprog/wait-simple.ck
diff --git a/pintos-progos/tests/userprog/wait-twice.c b/tests/userprog/wait-twice.c
index 785e684..785e684 100644
--- a/pintos-progos/tests/userprog/wait-twice.c
+++ b/tests/userprog/wait-twice.c
diff --git a/pintos-progos/tests/userprog/wait-twice.ck b/tests/userprog/wait-twice.ck
index 6d53843..6d53843 100644
--- a/pintos-progos/tests/userprog/wait-twice.ck
+++ b/tests/userprog/wait-twice.ck
diff --git a/pintos-progos/tests/userprog/write-bad-fd.c b/tests/userprog/write-bad-fd.c
index f3b1151..f3b1151 100644
--- a/pintos-progos/tests/userprog/write-bad-fd.c
+++ b/tests/userprog/write-bad-fd.c
diff --git a/pintos-progos/tests/userprog/write-bad-fd.ck b/tests/userprog/write-bad-fd.ck
index 8da7a8b..8da7a8b 100644
--- a/pintos-progos/tests/userprog/write-bad-fd.ck
+++ b/tests/userprog/write-bad-fd.ck
diff --git a/pintos-progos/tests/userprog/write-bad-ptr.c b/tests/userprog/write-bad-ptr.c
index 5336479..5336479 100644
--- a/pintos-progos/tests/userprog/write-bad-ptr.c
+++ b/tests/userprog/write-bad-ptr.c
diff --git a/pintos-progos/tests/userprog/write-bad-ptr.ck b/tests/userprog/write-bad-ptr.ck
index ad9f399..ad9f399 100644
--- a/pintos-progos/tests/userprog/write-bad-ptr.ck
+++ b/tests/userprog/write-bad-ptr.ck
diff --git a/pintos-progos/tests/userprog/write-boundary.c b/tests/userprog/write-boundary.c
index d2de1d4..d2de1d4 100644
--- a/pintos-progos/tests/userprog/write-boundary.c
+++ b/tests/userprog/write-boundary.c
diff --git a/pintos-progos/tests/userprog/write-boundary.ck b/tests/userprog/write-boundary.ck
index 7883781..7883781 100644
--- a/pintos-progos/tests/userprog/write-boundary.ck
+++ b/tests/userprog/write-boundary.ck
diff --git a/pintos-progos/tests/userprog/write-normal.c b/tests/userprog/write-normal.c
index e0297aa..e0297aa 100644
--- a/pintos-progos/tests/userprog/write-normal.c
+++ b/tests/userprog/write-normal.c
diff --git a/pintos-progos/tests/userprog/write-normal.ck b/tests/userprog/write-normal.ck
index 9fa6024..9fa6024 100644
--- a/pintos-progos/tests/userprog/write-normal.ck
+++ b/tests/userprog/write-normal.ck
diff --git a/pintos-progos/tests/userprog/write-stdin.c b/tests/userprog/write-stdin.c
index 491ea53..491ea53 100644
--- a/pintos-progos/tests/userprog/write-stdin.c
+++ b/tests/userprog/write-stdin.c
diff --git a/pintos-progos/tests/userprog/write-stdin.ck b/tests/userprog/write-stdin.ck
index a6caf81..a6caf81 100644
--- a/pintos-progos/tests/userprog/write-stdin.ck
+++ b/tests/userprog/write-stdin.ck
diff --git a/pintos-progos/tests/userprog/write-zero.c b/tests/userprog/write-zero.c
index d8dac9b..d8dac9b 100644
--- a/pintos-progos/tests/userprog/write-zero.c
+++ b/tests/userprog/write-zero.c
diff --git a/pintos-progos/tests/userprog/write-zero.ck b/tests/userprog/write-zero.ck
index cc4cd60..cc4cd60 100644
--- a/pintos-progos/tests/userprog/write-zero.ck
+++ b/tests/userprog/write-zero.ck
diff --git a/pintos-progos/tests/vm/Grading b/tests/vm/Grading
index f0c2c13..f0c2c13 100644
--- a/pintos-progos/tests/vm/Grading
+++ b/tests/vm/Grading
diff --git a/pintos-progos/tests/vm/Make.tests b/tests/vm/Make.tests
index 0307ccc..0307ccc 100644
--- a/pintos-progos/tests/vm/Make.tests
+++ b/tests/vm/Make.tests
diff --git a/pintos-progos/tests/vm/Rubric.functionality b/tests/vm/Rubric.functionality
index ede0221..ede0221 100644
--- a/pintos-progos/tests/vm/Rubric.functionality
+++ b/tests/vm/Rubric.functionality
diff --git a/pintos-progos/tests/vm/Rubric.paging b/tests/vm/Rubric.paging
index cf1d871..cf1d871 100644
--- a/pintos-progos/tests/vm/Rubric.paging
+++ b/tests/vm/Rubric.paging
diff --git a/pintos-progos/tests/vm/Rubric.robustness b/tests/vm/Rubric.robustness
index eca0af4..eca0af4 100644
--- a/pintos-progos/tests/vm/Rubric.robustness
+++ b/tests/vm/Rubric.robustness
diff --git a/pintos-progos/tests/vm/child-inherit.c b/tests/vm/child-inherit.c
index d3186a1..d3186a1 100644
--- a/pintos-progos/tests/vm/child-inherit.c
+++ b/tests/vm/child-inherit.c
diff --git a/pintos-progos/tests/vm/child-linear.c b/tests/vm/child-linear.c
index eca3e3f..eca3e3f 100644
--- a/pintos-progos/tests/vm/child-linear.c
+++ b/tests/vm/child-linear.c
diff --git a/pintos-progos/tests/vm/child-mm-wrt.c b/tests/vm/child-mm-wrt.c
index 8419788..8419788 100644
--- a/pintos-progos/tests/vm/child-mm-wrt.c
+++ b/tests/vm/child-mm-wrt.c
diff --git a/pintos-progos/tests/vm/child-qsort-mm.c b/tests/vm/child-qsort-mm.c
index db45499..db45499 100644
--- a/pintos-progos/tests/vm/child-qsort-mm.c
+++ b/tests/vm/child-qsort-mm.c
diff --git a/pintos-progos/tests/vm/child-qsort.c b/tests/vm/child-qsort.c
index 355f4eb..355f4eb 100644
--- a/pintos-progos/tests/vm/child-qsort.c
+++ b/tests/vm/child-qsort.c
diff --git a/pintos-progos/tests/vm/child-sort.c b/tests/vm/child-sort.c
index dff2c77..dff2c77 100644
--- a/pintos-progos/tests/vm/child-sort.c
+++ b/tests/vm/child-sort.c
diff --git a/pintos-progos/tests/vm/mmap-bad-fd.c b/tests/vm/mmap-bad-fd.c
index 76a7b50..76a7b50 100644
--- a/pintos-progos/tests/vm/mmap-bad-fd.c
+++ b/tests/vm/mmap-bad-fd.c
diff --git a/pintos-progos/tests/vm/mmap-bad-fd.ck b/tests/vm/mmap-bad-fd.ck
index f3f58d5..f3f58d5 100644
--- a/pintos-progos/tests/vm/mmap-bad-fd.ck
+++ b/tests/vm/mmap-bad-fd.ck
diff --git a/pintos-progos/tests/vm/mmap-clean.c b/tests/vm/mmap-clean.c
index ea1dc9c..ea1dc9c 100644
--- a/pintos-progos/tests/vm/mmap-clean.c
+++ b/tests/vm/mmap-clean.c
diff --git a/pintos-progos/tests/vm/mmap-clean.ck b/tests/vm/mmap-clean.ck
index 1666d6c..1666d6c 100644
--- a/pintos-progos/tests/vm/mmap-clean.ck
+++ b/tests/vm/mmap-clean.ck
diff --git a/pintos-progos/tests/vm/mmap-close.c b/tests/vm/mmap-close.c
index d016ee3..d016ee3 100644
--- a/pintos-progos/tests/vm/mmap-close.c
+++ b/tests/vm/mmap-close.c
diff --git a/pintos-progos/tests/vm/mmap-close.ck b/tests/vm/mmap-close.ck
index d15e41a..d15e41a 100644
--- a/pintos-progos/tests/vm/mmap-close.ck
+++ b/tests/vm/mmap-close.ck
diff --git a/pintos-progos/tests/vm/mmap-exit.c b/tests/vm/mmap-exit.c
index 7a2278a..7a2278a 100644
--- a/pintos-progos/tests/vm/mmap-exit.c
+++ b/tests/vm/mmap-exit.c
diff --git a/pintos-progos/tests/vm/mmap-exit.ck b/tests/vm/mmap-exit.ck
index 457d34a..457d34a 100644
--- a/pintos-progos/tests/vm/mmap-exit.ck
+++ b/tests/vm/mmap-exit.ck
diff --git a/pintos-progos/tests/vm/mmap-inherit.c b/tests/vm/mmap-inherit.c
index 7fa9607..7fa9607 100644
--- a/pintos-progos/tests/vm/mmap-inherit.c
+++ b/tests/vm/mmap-inherit.c
diff --git a/pintos-progos/tests/vm/mmap-inherit.ck b/tests/vm/mmap-inherit.ck
index c54638a..c54638a 100644
--- a/pintos-progos/tests/vm/mmap-inherit.ck
+++ b/tests/vm/mmap-inherit.ck
diff --git a/pintos-progos/tests/vm/mmap-lazy-seq.c b/tests/vm/mmap-lazy-seq.c
index b8f07bd..b8f07bd 100644
--- a/pintos-progos/tests/vm/mmap-lazy-seq.c
+++ b/tests/vm/mmap-lazy-seq.c
diff --git a/pintos-progos/tests/vm/mmap-lazy-seq.ck b/tests/vm/mmap-lazy-seq.ck
index dd0e240..dd0e240 100644
--- a/pintos-progos/tests/vm/mmap-lazy-seq.ck
+++ b/tests/vm/mmap-lazy-seq.ck
diff --git a/pintos-progos/tests/vm/mmap-misalign.c b/tests/vm/mmap-misalign.c
index 34141a9..34141a9 100644
--- a/pintos-progos/tests/vm/mmap-misalign.c
+++ b/tests/vm/mmap-misalign.c
diff --git a/pintos-progos/tests/vm/mmap-misalign.ck b/tests/vm/mmap-misalign.ck
index 145a2e8..145a2e8 100644
--- a/pintos-progos/tests/vm/mmap-misalign.ck
+++ b/tests/vm/mmap-misalign.ck
diff --git a/pintos-progos/tests/vm/mmap-null.c b/tests/vm/mmap-null.c
index f8ef075..f8ef075 100644
--- a/pintos-progos/tests/vm/mmap-null.c
+++ b/tests/vm/mmap-null.c
diff --git a/pintos-progos/tests/vm/mmap-null.ck b/tests/vm/mmap-null.ck
index aacdd65..aacdd65 100644
--- a/pintos-progos/tests/vm/mmap-null.ck
+++ b/tests/vm/mmap-null.ck
diff --git a/pintos-progos/tests/vm/mmap-over-code.c b/tests/vm/mmap-over-code.c
index d3619a3..d3619a3 100644
--- a/pintos-progos/tests/vm/mmap-over-code.c
+++ b/tests/vm/mmap-over-code.c
diff --git a/pintos-progos/tests/vm/mmap-over-code.ck b/tests/vm/mmap-over-code.ck
index b5b23c7..b5b23c7 100644
--- a/pintos-progos/tests/vm/mmap-over-code.ck
+++ b/tests/vm/mmap-over-code.ck
diff --git a/pintos-progos/tests/vm/mmap-over-data.c b/tests/vm/mmap-over-data.c
index 9ea5d49..9ea5d49 100644
--- a/pintos-progos/tests/vm/mmap-over-data.c
+++ b/tests/vm/mmap-over-data.c
diff --git a/pintos-progos/tests/vm/mmap-over-data.ck b/tests/vm/mmap-over-data.ck
index 98770cc..98770cc 100644
--- a/pintos-progos/tests/vm/mmap-over-data.ck
+++ b/tests/vm/mmap-over-data.ck
diff --git a/pintos-progos/tests/vm/mmap-over-stk.c b/tests/vm/mmap-over-stk.c
index 4e241e8..4e241e8 100644
--- a/pintos-progos/tests/vm/mmap-over-stk.c
+++ b/tests/vm/mmap-over-stk.c
diff --git a/pintos-progos/tests/vm/mmap-over-stk.ck b/tests/vm/mmap-over-stk.ck
index e6880cf..e6880cf 100644
--- a/pintos-progos/tests/vm/mmap-over-stk.ck
+++ b/tests/vm/mmap-over-stk.ck
diff --git a/pintos-progos/tests/vm/mmap-overlap.c b/tests/vm/mmap-overlap.c
index 668ae5f..668ae5f 100644
--- a/pintos-progos/tests/vm/mmap-overlap.c
+++ b/tests/vm/mmap-overlap.c
diff --git a/pintos-progos/tests/vm/mmap-overlap.ck b/tests/vm/mmap-overlap.ck
index f13801e..f13801e 100644
--- a/pintos-progos/tests/vm/mmap-overlap.ck
+++ b/tests/vm/mmap-overlap.ck
diff --git a/pintos-progos/tests/vm/mmap-read.c b/tests/vm/mmap-read.c
index c0f23a1..c0f23a1 100644
--- a/pintos-progos/tests/vm/mmap-read.c
+++ b/tests/vm/mmap-read.c
diff --git a/pintos-progos/tests/vm/mmap-read.ck b/tests/vm/mmap-read.ck
index 95ab790..95ab790 100644
--- a/pintos-progos/tests/vm/mmap-read.ck
+++ b/tests/vm/mmap-read.ck
diff --git a/pintos-progos/tests/vm/mmap-remove.c b/tests/vm/mmap-remove.c
index 5f7444d..5f7444d 100644
--- a/pintos-progos/tests/vm/mmap-remove.c
+++ b/tests/vm/mmap-remove.c
diff --git a/pintos-progos/tests/vm/mmap-remove.ck b/tests/vm/mmap-remove.ck
index d3cc938..d3cc938 100644
--- a/pintos-progos/tests/vm/mmap-remove.ck
+++ b/tests/vm/mmap-remove.ck
diff --git a/pintos-progos/tests/vm/mmap-shuffle.c b/tests/vm/mmap-shuffle.c
index 29921ad..29921ad 100644
--- a/pintos-progos/tests/vm/mmap-shuffle.c
+++ b/tests/vm/mmap-shuffle.c
diff --git a/pintos-progos/tests/vm/mmap-shuffle.ck b/tests/vm/mmap-shuffle.ck
index c158301..c158301 100644
--- a/pintos-progos/tests/vm/mmap-shuffle.ck
+++ b/tests/vm/mmap-shuffle.ck
diff --git a/pintos-progos/tests/vm/mmap-twice.c b/tests/vm/mmap-twice.c
index d277a37..d277a37 100644
--- a/pintos-progos/tests/vm/mmap-twice.c
+++ b/tests/vm/mmap-twice.c
diff --git a/pintos-progos/tests/vm/mmap-twice.ck b/tests/vm/mmap-twice.ck
index 05e9724..05e9724 100644
--- a/pintos-progos/tests/vm/mmap-twice.ck
+++ b/tests/vm/mmap-twice.ck
diff --git a/pintos-progos/tests/vm/mmap-unmap.c b/tests/vm/mmap-unmap.c
index d35a79e..d35a79e 100644
--- a/pintos-progos/tests/vm/mmap-unmap.c
+++ b/tests/vm/mmap-unmap.c
diff --git a/pintos-progos/tests/vm/mmap-unmap.ck b/tests/vm/mmap-unmap.ck
index 119658c..119658c 100644
--- a/pintos-progos/tests/vm/mmap-unmap.ck
+++ b/tests/vm/mmap-unmap.ck
diff --git a/pintos-progos/tests/vm/mmap-write.c b/tests/vm/mmap-write.c
index 46e8043..46e8043 100644
--- a/pintos-progos/tests/vm/mmap-write.c
+++ b/tests/vm/mmap-write.c
diff --git a/pintos-progos/tests/vm/mmap-write.ck b/tests/vm/mmap-write.ck
index d2c9cc5..d2c9cc5 100644
--- a/pintos-progos/tests/vm/mmap-write.ck
+++ b/tests/vm/mmap-write.ck
diff --git a/pintos-progos/tests/vm/mmap-zero.c b/tests/vm/mmap-zero.c
index 368b759..368b759 100644
--- a/pintos-progos/tests/vm/mmap-zero.c
+++ b/tests/vm/mmap-zero.c
diff --git a/pintos-progos/tests/vm/mmap-zero.ck b/tests/vm/mmap-zero.ck
index 6033d5d..6033d5d 100644
--- a/pintos-progos/tests/vm/mmap-zero.ck
+++ b/tests/vm/mmap-zero.ck
diff --git a/pintos-progos/tests/vm/page-linear.c b/tests/vm/page-linear.c
index 652a47b..652a47b 100644
--- a/pintos-progos/tests/vm/page-linear.c
+++ b/tests/vm/page-linear.c
diff --git a/pintos-progos/tests/vm/page-linear.ck b/tests/vm/page-linear.ck
index dcbc884..dcbc884 100644
--- a/pintos-progos/tests/vm/page-linear.ck
+++ b/tests/vm/page-linear.ck
diff --git a/pintos-progos/tests/vm/page-merge-mm.c b/tests/vm/page-merge-mm.c
index 908c71c..908c71c 100644
--- a/pintos-progos/tests/vm/page-merge-mm.c
+++ b/tests/vm/page-merge-mm.c
diff --git a/pintos-progos/tests/vm/page-merge-mm.ck b/tests/vm/page-merge-mm.ck
index 74fa980..74fa980 100644
--- a/pintos-progos/tests/vm/page-merge-mm.ck
+++ b/tests/vm/page-merge-mm.ck
diff --git a/pintos-progos/tests/vm/page-merge-par.c b/tests/vm/page-merge-par.c
index e7e1609..e7e1609 100644
--- a/pintos-progos/tests/vm/page-merge-par.c
+++ b/tests/vm/page-merge-par.c
diff --git a/pintos-progos/tests/vm/page-merge-par.ck b/tests/vm/page-merge-par.ck
index 31f8aa7..31f8aa7 100644
--- a/pintos-progos/tests/vm/page-merge-par.ck
+++ b/tests/vm/page-merge-par.ck
diff --git a/pintos-progos/tests/vm/page-merge-seq.c b/tests/vm/page-merge-seq.c
index 12e3880..12e3880 100644
--- a/pintos-progos/tests/vm/page-merge-seq.c
+++ b/tests/vm/page-merge-seq.c
diff --git a/pintos-progos/tests/vm/page-merge-seq.ck b/tests/vm/page-merge-seq.ck
index d78f69d..d78f69d 100644
--- a/pintos-progos/tests/vm/page-merge-seq.ck
+++ b/tests/vm/page-merge-seq.ck
diff --git a/pintos-progos/tests/vm/page-merge-stk.c b/tests/vm/page-merge-stk.c
index 5eb1069..5eb1069 100644
--- a/pintos-progos/tests/vm/page-merge-stk.c
+++ b/tests/vm/page-merge-stk.c
diff --git a/pintos-progos/tests/vm/page-merge-stk.ck b/tests/vm/page-merge-stk.ck
index c5bc1ae..c5bc1ae 100644
--- a/pintos-progos/tests/vm/page-merge-stk.ck
+++ b/tests/vm/page-merge-stk.ck
diff --git a/pintos-progos/tests/vm/page-parallel.c b/tests/vm/page-parallel.c
index 9d619e0..9d619e0 100644
--- a/pintos-progos/tests/vm/page-parallel.c
+++ b/tests/vm/page-parallel.c
diff --git a/pintos-progos/tests/vm/page-parallel.ck b/tests/vm/page-parallel.ck
index 90c14ef..90c14ef 100644
--- a/pintos-progos/tests/vm/page-parallel.ck
+++ b/tests/vm/page-parallel.ck
diff --git a/pintos-progos/tests/vm/page-shuffle.c b/tests/vm/page-shuffle.c
index 095a9da..095a9da 100644
--- a/pintos-progos/tests/vm/page-shuffle.c
+++ b/tests/vm/page-shuffle.c
diff --git a/pintos-progos/tests/vm/page-shuffle.ck b/tests/vm/page-shuffle.ck
index 6447d38..6447d38 100644
--- a/pintos-progos/tests/vm/page-shuffle.ck
+++ b/tests/vm/page-shuffle.ck
diff --git a/pintos-progos/tests/vm/parallel-merge.c b/tests/vm/parallel-merge.c
index cc09bb1..cc09bb1 100644
--- a/pintos-progos/tests/vm/parallel-merge.c
+++ b/tests/vm/parallel-merge.c
diff --git a/pintos-progos/tests/vm/parallel-merge.h b/tests/vm/parallel-merge.h
index a6b6431..a6b6431 100644
--- a/pintos-progos/tests/vm/parallel-merge.h
+++ b/tests/vm/parallel-merge.h
diff --git a/pintos-progos/tests/vm/process_death.pm b/tests/vm/process_death.pm
index 52039a1..52039a1 100644
--- a/pintos-progos/tests/vm/process_death.pm
+++ b/tests/vm/process_death.pm
diff --git a/pintos-progos/tests/vm/pt-bad-addr.c b/tests/vm/pt-bad-addr.c
index 3ca4084..3ca4084 100644
--- a/pintos-progos/tests/vm/pt-bad-addr.c
+++ b/tests/vm/pt-bad-addr.c
diff --git a/pintos-progos/tests/vm/pt-bad-addr.ck b/tests/vm/pt-bad-addr.ck
index 09ea039..09ea039 100644
--- a/pintos-progos/tests/vm/pt-bad-addr.ck
+++ b/tests/vm/pt-bad-addr.ck
diff --git a/pintos-progos/tests/vm/pt-bad-read.c b/tests/vm/pt-bad-read.c
index ee791ff..ee791ff 100644
--- a/pintos-progos/tests/vm/pt-bad-read.c
+++ b/tests/vm/pt-bad-read.c
diff --git a/pintos-progos/tests/vm/pt-bad-read.ck b/tests/vm/pt-bad-read.ck
index 1f96bb4..1f96bb4 100644
--- a/pintos-progos/tests/vm/pt-bad-read.ck
+++ b/tests/vm/pt-bad-read.ck
diff --git a/pintos-progos/tests/vm/pt-big-stk-obj.c b/tests/vm/pt-big-stk-obj.c
index 6b630ec..6b630ec 100644
--- a/pintos-progos/tests/vm/pt-big-stk-obj.c
+++ b/tests/vm/pt-big-stk-obj.c
diff --git a/pintos-progos/tests/vm/pt-big-stk-obj.ck b/tests/vm/pt-big-stk-obj.ck
index eb5853a..eb5853a 100644
--- a/pintos-progos/tests/vm/pt-big-stk-obj.ck
+++ b/tests/vm/pt-big-stk-obj.ck
diff --git a/pintos-progos/tests/vm/pt-grow-bad.c b/tests/vm/pt-grow-bad.c
index d4beba2..d4beba2 100644
--- a/pintos-progos/tests/vm/pt-grow-bad.c
+++ b/tests/vm/pt-grow-bad.c
diff --git a/pintos-progos/tests/vm/pt-grow-bad.ck b/tests/vm/pt-grow-bad.ck
index 4c0ab8a..4c0ab8a 100644
--- a/pintos-progos/tests/vm/pt-grow-bad.ck
+++ b/tests/vm/pt-grow-bad.ck
diff --git a/pintos-progos/tests/vm/pt-grow-pusha.c b/tests/vm/pt-grow-pusha.c
index f9762a5..f9762a5 100644
--- a/pintos-progos/tests/vm/pt-grow-pusha.c
+++ b/tests/vm/pt-grow-pusha.c
diff --git a/pintos-progos/tests/vm/pt-grow-pusha.ck b/tests/vm/pt-grow-pusha.ck
index 5000966..5000966 100644
--- a/pintos-progos/tests/vm/pt-grow-pusha.ck
+++ b/tests/vm/pt-grow-pusha.ck
diff --git a/pintos-progos/tests/vm/pt-grow-stack.c b/tests/vm/pt-grow-stack.c
index 0997a00..0997a00 100644
--- a/pintos-progos/tests/vm/pt-grow-stack.c
+++ b/tests/vm/pt-grow-stack.c
diff --git a/pintos-progos/tests/vm/pt-grow-stack.ck b/tests/vm/pt-grow-stack.ck
index 1e669db..1e669db 100644
--- a/pintos-progos/tests/vm/pt-grow-stack.ck
+++ b/tests/vm/pt-grow-stack.ck
diff --git a/pintos-progos/tests/vm/pt-grow-stk-sc.c b/tests/vm/pt-grow-stk-sc.c
index 3efbb5f..3efbb5f 100644
--- a/pintos-progos/tests/vm/pt-grow-stk-sc.c
+++ b/tests/vm/pt-grow-stk-sc.c
diff --git a/pintos-progos/tests/vm/pt-grow-stk-sc.ck b/tests/vm/pt-grow-stk-sc.ck
index 23d3b02..23d3b02 100644
--- a/pintos-progos/tests/vm/pt-grow-stk-sc.ck
+++ b/tests/vm/pt-grow-stk-sc.ck
diff --git a/pintos-progos/tests/vm/pt-write-code-2.c b/tests/vm/pt-write-code-2.c
index 83bcc2c..83bcc2c 100644
--- a/pintos-progos/tests/vm/pt-write-code-2.c
+++ b/tests/vm/pt-write-code-2.c
diff --git a/pintos-progos/tests/vm/pt-write-code.c b/tests/vm/pt-write-code.c
index 5072cec..5072cec 100644
--- a/pintos-progos/tests/vm/pt-write-code.c
+++ b/tests/vm/pt-write-code.c
diff --git a/pintos-progos/tests/vm/pt-write-code.ck b/tests/vm/pt-write-code.ck
index 65610fb..65610fb 100644
--- a/pintos-progos/tests/vm/pt-write-code.ck
+++ b/tests/vm/pt-write-code.ck
diff --git a/pintos-progos/tests/vm/pt-write-code2.ck b/tests/vm/pt-write-code2.ck
index 69ffc77..69ffc77 100644
--- a/pintos-progos/tests/vm/pt-write-code2.ck
+++ b/tests/vm/pt-write-code2.ck
diff --git a/pintos-progos/tests/vm/qsort.c b/tests/vm/qsort.c
index 922572c..922572c 100644
--- a/pintos-progos/tests/vm/qsort.c
+++ b/tests/vm/qsort.c
diff --git a/pintos-progos/tests/vm/qsort.h b/tests/vm/qsort.h
index 61b65f3..61b65f3 100644
--- a/pintos-progos/tests/vm/qsort.h
+++ b/tests/vm/qsort.h
diff --git a/pintos-progos/tests/vm/sample.inc b/tests/vm/sample.inc
index a60a139..a60a139 100644
--- a/pintos-progos/tests/vm/sample.inc
+++ b/tests/vm/sample.inc
diff --git a/pintos-progos/tests/vm/sample.txt b/tests/vm/sample.txt
index c446830..c446830 100644
--- a/pintos-progos/tests/vm/sample.txt
+++ b/tests/vm/sample.txt
diff --git a/pintos-progos/threads/.gitignore b/threads/.gitignore
index 6d5357c..6d5357c 100644
--- a/pintos-progos/threads/.gitignore
+++ b/threads/.gitignore
diff --git a/pintos-progos/threads/Make.vars b/threads/Make.vars
index 310c240..310c240 100644
--- a/pintos-progos/threads/Make.vars
+++ b/threads/Make.vars
diff --git a/pintos-progos/threads/Makefile b/threads/Makefile
index 34c10aa..34c10aa 100644
--- a/pintos-progos/threads/Makefile
+++ b/threads/Makefile
diff --git a/pintos-progos/threads/flags.h b/threads/flags.h
index 5654ac7..5654ac7 100644
--- a/pintos-progos/threads/flags.h
+++ b/threads/flags.h
diff --git a/pintos-progos/threads/init.c b/threads/init.c
index d8feacd..d8feacd 100644
--- a/pintos-progos/threads/init.c
+++ b/threads/init.c
diff --git a/pintos-progos/threads/init.h b/threads/init.h
index 8a3df90..8a3df90 100644
--- a/pintos-progos/threads/init.h
+++ b/threads/init.h
diff --git a/pintos-progos/threads/interrupt.c b/threads/interrupt.c
index e3b90dc..e3b90dc 100644
--- a/pintos-progos/threads/interrupt.c
+++ b/threads/interrupt.c
diff --git a/pintos-progos/threads/interrupt.h b/threads/interrupt.h
index d43e06d..d43e06d 100644
--- a/pintos-progos/threads/interrupt.h
+++ b/threads/interrupt.h
diff --git a/pintos-progos/threads/intr-stubs.S b/threads/intr-stubs.S
index adb674e..adb674e 100644
--- a/pintos-progos/threads/intr-stubs.S
+++ b/threads/intr-stubs.S
diff --git a/pintos-progos/threads/intr-stubs.h b/threads/intr-stubs.h
index 9ceba15..9ceba15 100644
--- a/pintos-progos/threads/intr-stubs.h
+++ b/threads/intr-stubs.h
diff --git a/pintos-progos/threads/io.h b/threads/io.h
index 30d52da..30d52da 100644
--- a/pintos-progos/threads/io.h
+++ b/threads/io.h
diff --git a/pintos-progos/threads/kernel.lds.S b/threads/kernel.lds.S
index 19082d5..19082d5 100644
--- a/pintos-progos/threads/kernel.lds.S
+++ b/threads/kernel.lds.S
diff --git a/pintos-progos/threads/loader.S b/threads/loader.S
index dd87ea1..dd87ea1 100644
--- a/pintos-progos/threads/loader.S
+++ b/threads/loader.S
diff --git a/pintos-progos/threads/loader.h b/threads/loader.h
index 1bfe111..1bfe111 100644
--- a/pintos-progos/threads/loader.h
+++ b/threads/loader.h
diff --git a/pintos-progos/threads/malloc.c b/threads/malloc.c
index f6f803b..f6f803b 100644
--- a/pintos-progos/threads/malloc.c
+++ b/threads/malloc.c
diff --git a/pintos-progos/threads/malloc.h b/threads/malloc.h
index bc55d36..bc55d36 100644
--- a/pintos-progos/threads/malloc.h
+++ b/threads/malloc.h
diff --git a/pintos-progos/threads/palloc.c b/threads/palloc.c
index 5c7ef2f..5c7ef2f 100644
--- a/pintos-progos/threads/palloc.c
+++ b/threads/palloc.c
diff --git a/pintos-progos/threads/palloc.h b/threads/palloc.h
index d7f4e0b..d7f4e0b 100644
--- a/pintos-progos/threads/palloc.h
+++ b/threads/palloc.h
diff --git a/pintos-progos/threads/pte.h b/threads/pte.h
index 1660727..1660727 100644
--- a/pintos-progos/threads/pte.h
+++ b/threads/pte.h
diff --git a/pintos-progos/threads/start.S b/threads/start.S
index 29ffa7a..29ffa7a 100644
--- a/pintos-progos/threads/start.S
+++ b/threads/start.S
diff --git a/pintos-progos/threads/switch.S b/threads/switch.S
index feca86c..feca86c 100644
--- a/pintos-progos/threads/switch.S
+++ b/threads/switch.S
diff --git a/pintos-progos/threads/switch.h b/threads/switch.h
index cc156b6..cc156b6 100644
--- a/pintos-progos/threads/switch.h
+++ b/threads/switch.h
diff --git a/pintos-progos/threads/synch.c b/threads/synch.c
index 317c68a..317c68a 100644
--- a/pintos-progos/threads/synch.c
+++ b/threads/synch.c
diff --git a/pintos-progos/threads/synch.h b/threads/synch.h
index a19e88b..a19e88b 100644
--- a/pintos-progos/threads/synch.h
+++ b/threads/synch.h
diff --git a/pintos-progos/threads/thread.c b/threads/thread.c
index 845f059..845f059 100644
--- a/pintos-progos/threads/thread.c
+++ b/threads/thread.c
diff --git a/pintos-progos/threads/thread.h b/threads/thread.h
index 4ba5ef2..4ba5ef2 100644
--- a/pintos-progos/threads/thread.h
+++ b/threads/thread.h
diff --git a/pintos-progos/threads/vaddr.h b/threads/vaddr.h
index 184c824..184c824 100644
--- a/pintos-progos/threads/vaddr.h
+++ b/threads/vaddr.h
diff --git a/pintos-progos/userprog/.gitignore b/userprog/.gitignore
index 6d5357c..6d5357c 100644
--- a/pintos-progos/userprog/.gitignore
+++ b/userprog/.gitignore
diff --git a/pintos-progos/userprog/Make.vars b/userprog/Make.vars
index e4dbb08..e4dbb08 100644
--- a/pintos-progos/userprog/Make.vars
+++ b/userprog/Make.vars
diff --git a/pintos-progos/userprog/Makefile b/userprog/Makefile
index 34c10aa..34c10aa 100644
--- a/pintos-progos/userprog/Makefile
+++ b/userprog/Makefile
diff --git a/pintos-progos/userprog/exception.c b/userprog/exception.c
index 17620ad..17620ad 100644
--- a/pintos-progos/userprog/exception.c
+++ b/userprog/exception.c
diff --git a/pintos-progos/userprog/exception.h b/userprog/exception.h
index f83e615..f83e615 100644
--- a/pintos-progos/userprog/exception.h
+++ b/userprog/exception.h
diff --git a/pintos-progos/userprog/gdt.c b/userprog/gdt.c
index e866037..e866037 100644
--- a/pintos-progos/userprog/gdt.c
+++ b/userprog/gdt.c
diff --git a/pintos-progos/userprog/gdt.h b/userprog/gdt.h
index 81fe50c..81fe50c 100644
--- a/pintos-progos/userprog/gdt.h
+++ b/userprog/gdt.h
diff --git a/pintos-progos/userprog/pagedir.c b/userprog/pagedir.c
index a6a87b8..a6a87b8 100644
--- a/pintos-progos/userprog/pagedir.c
+++ b/userprog/pagedir.c
diff --git a/pintos-progos/userprog/pagedir.h b/userprog/pagedir.h
index cd92447..cd92447 100644
--- a/pintos-progos/userprog/pagedir.h
+++ b/userprog/pagedir.h
diff --git a/pintos-progos/userprog/process.c b/userprog/process.c
index adb6b66..adb6b66 100644
--- a/pintos-progos/userprog/process.c
+++ b/userprog/process.c
diff --git a/pintos-progos/userprog/process.h b/userprog/process.h
index 1609801..1609801 100644
--- a/pintos-progos/userprog/process.h
+++ b/userprog/process.h
diff --git a/pintos-progos/userprog/syscall.c b/userprog/syscall.c
index f8e0197..f8e0197 100644
--- a/pintos-progos/userprog/syscall.c
+++ b/userprog/syscall.c
diff --git a/pintos-progos/userprog/syscall.h b/userprog/syscall.h
index f7ab2f3..f7ab2f3 100644
--- a/pintos-progos/userprog/syscall.h
+++ b/userprog/syscall.h
diff --git a/pintos-progos/userprog/tss.c b/userprog/tss.c
index f8ed9a9..f8ed9a9 100644
--- a/pintos-progos/userprog/tss.c
+++ b/userprog/tss.c
diff --git a/pintos-progos/userprog/tss.h b/userprog/tss.h
index 467bd19..467bd19 100644
--- a/pintos-progos/userprog/tss.h
+++ b/userprog/tss.h
diff --git a/pintos-progos/utils/.gitignore b/utils/.gitignore
index b96f278..b96f278 100644
--- a/pintos-progos/utils/.gitignore
+++ b/utils/.gitignore
diff --git a/pintos-progos/utils/Makefile b/utils/Makefile
index 46a9124..46a9124 100644
--- a/pintos-progos/utils/Makefile
+++ b/utils/Makefile
diff --git a/pintos-progos/utils/Pintos.pm b/utils/Pintos.pm
index 70df40d..70df40d 100644
--- a/pintos-progos/utils/Pintos.pm
+++ b/utils/Pintos.pm
diff --git a/pintos-progos/utils/backtrace b/utils/backtrace
index 95e422f..95e422f 100755
--- a/pintos-progos/utils/backtrace
+++ b/utils/backtrace
diff --git a/pintos-progos/utils/pintos b/utils/pintos
index 91f73ad..91f73ad 100755
--- a/pintos-progos/utils/pintos
+++ b/utils/pintos
diff --git a/pintos-progos/utils/pintos-gdb b/utils/pintos-gdb
index 9c9555b..9c9555b 100755
--- a/pintos-progos/utils/pintos-gdb
+++ b/utils/pintos-gdb
diff --git a/pintos-progos/utils/pintos-mkdisk b/utils/pintos-mkdisk
index 87b1563..87b1563 100755
--- a/pintos-progos/utils/pintos-mkdisk
+++ b/utils/pintos-mkdisk
diff --git a/pintos-progos/utils/pintos-set-cmdline b/utils/pintos-set-cmdline
index 8c8f702..8c8f702 100644
--- a/pintos-progos/utils/pintos-set-cmdline
+++ b/utils/pintos-set-cmdline
diff --git a/pintos-progos/utils/setitimer-helper.c b/utils/setitimer-helper.c
index 772d736..772d736 100644
--- a/pintos-progos/utils/setitimer-helper.c
+++ b/utils/setitimer-helper.c
diff --git a/pintos-progos/utils/squish-pty.c b/utils/squish-pty.c
index c8375a5..c8375a5 100644
--- a/pintos-progos/utils/squish-pty.c
+++ b/utils/squish-pty.c
diff --git a/pintos-progos/utils/squish-unix.c b/utils/squish-unix.c
index 805205b..805205b 100644
--- a/pintos-progos/utils/squish-unix.c
+++ b/utils/squish-unix.c
diff --git a/pintos-progos/vm/.gitignore b/vm/.gitignore
index 6d5357c..6d5357c 100644
--- a/pintos-progos/vm/.gitignore
+++ b/vm/.gitignore
diff --git a/pintos-progos/vm/Make.vars b/vm/Make.vars
index e3c33a7..e3c33a7 100644
--- a/pintos-progos/vm/Make.vars
+++ b/vm/Make.vars
diff --git a/pintos-progos/vm/Makefile b/vm/Makefile
index 34c10aa..34c10aa 100644
--- a/pintos-progos/vm/Makefile
+++ b/vm/Makefile