X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Flib%2FPintos%2FGrading.pm;h=7e5ec67fb008f7fc5ad06353b1f2c9ae574eb98f;hb=415941c1e0a6fc5ce263d8355fde980239c0f844;hp=c2072a4f1c4714eb85a5f00e168f259c9698f4b5;hpb=882e46c9feb305e853fd15fc774ecceee5f4bcfc;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;