Parser changes (for use parallel testing and portfolio updates) - Githubissues

ddsmt / ddSMT

A delta debugger for SMT benchmarks in SMT-LIB v2.

https://ddsmt.readthedocs.io

Other

50 stars 17 forks source link

Parser changes (for use parallel testing and portfolio updates) #13

Closed janeclange closed 6 years ago

janeclange commented 6 years ago

Unified the three subclasses of SMTSubstList and the three node-id trackers