projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce58453) | patch
Remove string stat for inferences (#5932)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Feb 2021 10:07:27 +0000 (04:07 -0600)
committerGitHub <noreply@github.com>
Fri, 19 Feb 2021 10:07:27 +0000 (11:07 +0100)
commitb30adb7a22091dfcd2f81f7cf04334e2240c19bd
tree893214af0f7d0b67cd2edbe92b8348aefe71342etree
parentce58453982ddd53a5fc08d9db4c6c3f49b852838commit | diff
Remove string stat for inferences (#5932)

This is now subsumed by the general stat in TheoryInferenceManager
src/theory/inference_id.cpp diff | blob | history
src/theory/strings/inference_manager.cpp diff | blob | history
src/theory/strings/sequences_stats.cpp diff | blob | history
src/theory/strings/sequences_stats.h diff | blob | history