diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-15 21:30:49 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-15 19:30:49 +0000 |
commit | 63647b1d79df6f287ea6599958b16fce44b8271d (patch) | |
tree | b16d4c6c76f74a63c7695fdd7c03c4bd05501ee2 /test/regress/run_regression.py | |
parent | 1bbcce82a9b8c122a0921a46265534e796047faa (diff) |
Fix printing of stats when aborted. (#6362)
This PR improves/fixes printing of statistics when the solver has been aborted, i.e. when we use printSafe(), and a few other minor issues with the new statistics setup.
add toString() methods for TypeConstant, api::Kind to allow for automatic printing by print_safe<>()
improve kindToString() to avoid std::stringstream
fix newlines between statistics in printSafe()
make printing of histograms consistent
make --stats-all, --stats-expert and --stats-every-check automatically enable --stats (and vice versa)
Diffstat (limited to 'test/regress/run_regression.py')
0 files changed, 0 insertions, 0 deletions