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]

SMTLIB
- Backends
  - SMTLIB.Backends.Tests

Downloads

smtlib-backends-tests-0.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

FacundoDominguez, qaristote

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.2, 0.3
Change log	CHANGELOG.md
Dependencies	base (>=4.14 && <4.17.0), smtlib-backends (>=0.2 && <0.3), 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.2)(smtlib-backends-tests)
Uploaded	by qaristote at 2022-12-16T13:45:10Z
Distributions	NixOS:0.3
Downloads	99 total (9 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]