All notable changes to the smtlib-backends-tests library will be documented in this file.
- make test-suite compatible with
smtlib-backends-0.3
- make library compatible with
smtlib-backends-0.2
- remove
(exit)commands at the end of sources
All notable changes to the smtlib-backends-tests library will be documented in this file.
smtlib-backends-0.3smtlib-backends-0.2(exit) commands at the end of sources