search

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.
https://ddsmt.readthedocs.io
Other
50 stars 17 forks source link

Make logging output of hierarchical strategy a bit less obtrusive #31

Closed nafur closed 2 years ago

nafur commented 2 years ago

The logging output of the hierarchical strategy is now a bit less verbose and is hopefully less confusing...