# 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