Îõ³h&ˬ Safe-Inferred"smtlib-backends-testsåA source is a list of SMTLib2 commands, available in several different formats for testing purposes.smtlib-backends-testsThe name of the source.smtlib-backends-testsÑA computation equivalent to sending the raw content of the source to the solver.smtlib-backends-testsß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 Safe-Inferred"œsmtlib-backends-tests5Test a backend by using it to run a list of examples.smtlib-backends-testsThe name of the test group.smtlib-backends-tests/A list of examples on which to run the backend.smtlib-backends-testsæA function that should create a backend, run a given computation and release the backend's resources.!smtlib-backends-tests-0.3-inplaceSMTLIB.Backends.TestsSMTLIB.Backends.Tests.SourcesSourcenamerunsources testBackend