diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-26 09:52:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-26 09:52:28 -0500 |
commit | c9fd28a391cfff767b899a65ad365742745910fe (patch) | |
tree | 663ffc3b744c9df9de3781aaf292fa6b79851fdc /test/regress/regress0 | |
parent | 9523b4248da9764fa14f078659b42085a7fe2654 (diff) |
Add stats for string reductions, lemmas and conflicts (#4149)
This PR adds comprehensive stats for reductions, lemmas and conflicts in TheoryStrings. Remaining stats will track all inferences (which are finer grained steps that may lead to lemmas/conflicts).
Additionally this PR refactors calls to OutputChannel::lemma in TheoryStrings / InferenceManager. There are now only 2 calls to lemma(...) during registerTerm(...), one for "atomic" string terms (corresponding to length splits typically) and one for non-atomic terms.
Diffstat (limited to 'test/regress/regress0')
0 files changed, 0 insertions, 0 deletions