search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
13 stars 1 forks source link

Statistic debugger #114

Closed bruderj15 closed 1 month ago

bruderj15 commented 2 months ago

Currently statistically s :: StateDebugger s => Debugger s only prints assertion- and var-count. Instead now print:

bruderj15 commented 1 month ago

Fixed by https://github.com/bruderj15/Hasmtlib/commit/73269671f265dd2a96317f3727ec1a449e4fe0ed