search

ddsmt / ddSMT

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

Add support for declare-datatype #19

Closed nblei closed 3 years ago

nblei commented 4 years ago

Currently doesn't support SMTLIB-2.6's declare-datatype.

aniemetz commented 4 years ago

Yes, datatypes are currently not supported. Due to limited capacities on our side, it's pretty much on the very bottom of the priority stack. We'd be happy to give guidance and review a PR that extends ddSMT with support for datatypes.

aniemetz commented 3 years ago

ddSMT now supports datatypes. Let us know if you miss certain datatype-specific simplifications that might be useful.

nblei commented 3 years ago

Awesome, and I didn't help at all :-)