Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A module providing functions useful for testing a backend for SimpleSMT.
Documentation
:: 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.
A source is a list of SMTLib2 commands, available in several different formats for testing purposes.
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