X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Flib%2FPintos%2FGrading.pm;h=7e5ec67fb008f7fc5ad06353b1f2c9ae574eb98f;hb=6ebebc408e12133c4130923081c40bbfbdd281d4;hp=c2072a4f1c4714eb85a5f00e168f259c9698f4b5;hpb=6e37e2d09df0c11d77e0516cbc03c850eb72b8da;p=pintos-anon

diff --git a/grading/lib/Pintos/Grading.pm b/grading/lib/Pintos/Grading.pm
index c2072a4..7e5ec67 100644
--- a/grading/lib/Pintos/Grading.pm
+++ b/grading/lib/Pintos/Grading.pm
@@ -832,5 +832,12 @@ sub file_contains {
     close (FILE);
     return $equal;
 }
+
+sub success {
+    for my $test (@TESTS) {
+	return 1 if !defined ($result{$test}) || $result{$test} ne 'ok';
+    }
+    return 0;
+}
 
 1;