Changelog of @hackage/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