forked from woai3c/MIT6.828
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathgrade-lab2
More file actions
28 lines (20 loc) · 706 Bytes
/
Copy pathgrade-lab2
File metadata and controls
28 lines (20 loc) · 706 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
#!/usr/bin/env python
from gradelib import *
r = Runner(save("jos.out"),
stop_breakpoint("readline"))
@test(0, "running JOS")
def test_jos():
r.run_qemu()
@test(20, "Physical page allocator", parent=test_jos)
def test_check_page_alloc():
r.match(r"check_page_alloc\(\) succeeded!")
@test(20, "Page management", parent=test_jos)
def test_check_page():
r.match(r"check_page\(\) succeeded!")
@test(20, "Kernel page directory", parent=test_jos)
def test_check_kern_pgdir():
r.match(r"check_kern_pgdir\(\) succeeded!")
@test(10, "Page management 2", parent=test_jos)
def test_check_page_installed_pgdir():
r.match(r"check_page_installed_pgdir\(\) succeeded!")
run_tests()