Changelog for smtlib-backends-tests-0.3
Changelog
All notable changes to the smtlib-backends-tests library will be documented in this file.
v0.3 (2023-02-03)
Changed
- make test-suite compatible with
smtlib-backends-0.3
v0.2 (2022-12-16)
Changed
- make library compatible with
smtlib-backends-0.2
Removed
- remove
(exit)
commands at the end of sources