diff options
Diffstat (limited to 'run_exps.py')
-rwxr-xr-x | run_exps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_exps.py b/run_exps.py index bda0e40..4484952 100755 --- a/run_exps.py +++ b/run_exps.py | |||
@@ -218,7 +218,7 @@ def main(): | |||
218 | print(" Successful:\t\t%d" % succ) | 218 | print(" Successful:\t\t%d" % succ) |
219 | print(" Failed:\t\t%d" % failed) | 219 | print(" Failed:\t\t%d" % failed) |
220 | print(" Already Done:\t\t%d" % done) | 220 | print(" Already Done:\t\t%d" % done) |
221 | print(" Invalid Kernel:\t\t%d" % invalid) | 221 | print(" Wrong Kernel:\t\t%d" % invalid) |
222 | 222 | ||
223 | 223 | ||
224 | if __name__ == '__main__': | 224 | if __name__ == '__main__': |