smtlib-backends-tests: Testing SMT-LIB backends.

[ library, mit, smt, testing ] [ Propose Tags ]

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

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2, 0.3
Change log CHANGELOG.md
Dependencies base (>=4.14 && <4.18), smtlib-backends (>=0.3 && <0.4), tasty (>=1.4.2 && <1.5), tasty-hunit (>=0.10.0 && <0.11) [details]
License MIT
Author Quentin Aristote
Maintainer quentin.aristote@tweag.io
Category SMT, Testing
Source repo head: git clone https://github.com/tweag/smtlib-backends(smtlib-backends-tests)
this: git clone https://github.com/tweag/smtlib-backends(tag 0.3)(smtlib-backends-tests)
Uploaded by qaristote at 2023-02-06T10:26:32Z
Distributions NixOS:0.3
Downloads 67 total (5 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]