Commit ec26de8d authored by Robert Ricci's avatar Robert Ricci
Browse files

Always print out the BEST line, so we see the times assign took to

run.
parent 56e67515
...@@ -501,7 +501,10 @@ while (1) { ...@@ -501,7 +501,10 @@ while (1) {
$violations = $1; $violations = $1;
last; last;
}; };
/^[ \t]+BEST SCORE: [ \t]+([0-9]+(\.[0-9]+)?)/ && ($score=$1); /^[ \t]+BEST SCORE: [ \t]+([0-9]+(\.[0-9]+)?)/ && do {
$score=$1;
print $_ . "\n";
};
} }
if ($score == -2) { if ($score == -2) {
# Type error # Type error
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment