search

ddsmt / ddSMT

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

fix #4

Closed yoni206 closed 6 years ago

yoni206 commented 6 years ago

missing parenthesis added