smtlib-backends-tests

Testing SMT-LIB backends.

Stackage Nightly 2025-08-17:0.3@rev:5
Latest on Hackage:0.3@rev:5

See all snapshots smtlib-backends-tests appears in

MIT licensed by Quentin Aristote
Maintained by [email protected]
This version can be pinned in stack with:smtlib-backends-tests-0.3@sha256:4179baafc20ae7ff0e2174ed39145a4d3a7a1c191286256416d73740f25d3bbb,1219

Module documentation for 0.3

This library provides common functions and values used for testing SMT-LIB backends, as provided by the smtlib-backends library.

Changes

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