search

ddsmt / ddSMT

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

Refactor core #23

Closed nafur closed 3 years ago

nafur commented 3 years ago

This PR moves the core reduction method to a new file ddmin.py. Also, the single pass is moved to a new file, and a bit of other cleanup is done.