smtlib-backends-tests

Testing SMT-LIB backends.

LTS Haskell 24.33:0.3@rev:6
Stackage Nightly 2026-03-05:0.3@rev:6
Latest on Hackage:0.3@rev:6

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:4c16941b3fa9fe8e9333e9c35761d303eacf51318e25eb97318726050a5dd72e,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