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 /doc | |
| 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 'doc')
0 files changed, 0 insertions, 0 deletions