smtlib-backends-tests-0.3: Testing SMT-LIB backends.
Safe HaskellSafe-Inferred
LanguageHaskell2010

SMTLIB.Backends.Tests

Description

A module providing functions useful for testing a backend for SimpleSMT.

Synopsis

Documentation

testBackend Source #

Arguments

:: String

The name of the test group.

-> [Source]

A list of examples on which to run the backend.

-> ((Backend -> Assertion) -> Assertion)

A function that should create a backend, run a given computation and release the backend's resources.

-> TestTree 

Test a backend by using it to run a list of examples.

data Source Source #

A source is a list of SMTLib2 commands, available in several different formats for testing purposes.

Constructors

Source 

Fields

  • name :: String

    The name of the source.

  • run :: Solver -> IO ()

    A computation equivalent to sending the raw content of the source to the solver.

sources :: [Source] Source #

A list of examples SMT-LIB files. Most of them were taken from the official SMT-LIB website: https://smtlib.cs.uiowa.edu/examples.shtml