SMTLIB.Backends.Tests

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

Documentation

testBackend

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

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]

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