support solver resumes in parse_log.py
authordavidbrai <davidbrai@gmail.com>
Mon, 14 Nov 2016 20:10:27 +0000 (22:10 +0200)
committerdavidbrai <davidbrai@gmail.com>
Mon, 14 Nov 2016 20:14:14 +0000 (22:14 +0200)
commitaaf7b6b17fdded6f6489eaf84a4d336b3344c356
tree23c93e52e9f22ffc868ef2ad9a2bb4e8cc706609
parenteb4ba30e3c4899edc7a9713158d61503fa8ecf90
support solver resumes in parse_log.py

Currently parse_log.py skips all non timestamped lines
only once. When resuming a solver and appending to the
same log file, it creates more non timestamped log lines.
This change allows the script to silently skip those lines.
tools/extra/parse_log.py