diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-06-21 10:41:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-21 17:41:37 +0000 |
commit | 38bf0edcc479a20dceeb5bcf7710862c7e60a0b8 (patch) | |
tree | 43ad4c60d609aaeef14dd4ee9420725a029b22b6 /test/unit/api/java/cvc5/GrammarTest.java | |
parent | 7c4a214cf3ce2facf4c98cd3bd347562c66f10a6 (diff) |
Move cnfConversionTime statistic to CnfStream. (#6769)
The statistic in `smt_solver.cpp` was not accurate.
Diffstat (limited to 'test/unit/api/java/cvc5/GrammarTest.java')
0 files changed, 0 insertions, 0 deletions