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