diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-10 10:45:52 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-10 10:45:52 -0500 |
| commit | 854d36b3ebb85579eefd654a18ed882b99649fb5 (patch) | |
| tree | fc63a961464d22499ef39230472766aa01feaa58 /src/theory/strings/theory_strings.cpp | |
| parent | 92ed7681941b3b6d9c857724454860ac72d778d9 (diff) | |
Add a few stats to strings (#4252)
To give an idea of the high-level behavior.
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
| -rw-r--r-- | src/theory/strings/theory_strings.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 609822fe1..81e43c595 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -737,12 +737,14 @@ void TheoryStrings::check(Effort e) { } Trace("strings-eqc") << std::endl; } + ++(d_statistics.d_checkRuns); unsigned sbegin = itsr->second.first; unsigned send = itsr->second.second; bool addedLemma = false; bool addedFact; Trace("strings-check") << "Full effort check..." << std::endl; do{ + ++(d_statistics.d_strategyRuns); Trace("strings-check") << " * Run strategy..." << std::endl; runStrategy(sbegin, send); // flush the facts |