X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fmake-grade;h=5f60fa3d1fe7edddbed270886228e6bd5881548a;hb=d2a8a6dce8c60a1a181f67a6d4af98d5ce57743f;hp=23f6ec32d7a9aa4aa9594fb6cf3f62af01af33d8;hpb=2dcf3c939a326f0a11cc033dc07588bd99c10ed0;p=pintos-anon diff --git a/src/tests/make-grade b/src/tests/make-grade index 23f6ec3..5f60fa3 100755 --- a/src/tests/make-grade +++ b/src/tests/make-grade @@ -110,6 +110,9 @@ foreach my $name (keys (%verdicts)) { } } push (@overall, sprintf ("TOTAL TESTING SCORE: %.1f%%", $pct_actual)); +if (sprintf ("%.1f", $pct_actual) eq sprintf ("%.1f", $pct_possible)) { + push (@overall, "ALL TESTED PASSED -- PERFECT SCORE"); +} my (@divider) = ('', '- ' x 38, '');