CL-ANNOT-PROVE ยป Functions

query-symbol-tests(&key symbol symbol-name symbol-package (symbol-tests-list *symbol-tests-list*))
Return list of #S(SYMBOL-TESTS ...)s which match the conditions.
render-symbol-tests(symbol-tests)
Render #S(SYMBOL-TESTS ...) for documents.
run-package-tests(package)
Run symbol-tests in the package.
run-symbol-tests(symbol-tests)
Run symbol-tests.
run-system-tests(system-designator &key (reload-system t))
Run symbol-tests in the system.
system-symbol-tests-list(system-designator &key (reload-system t))
Return list of #S(SYMBOL-TESTS ...)s in the system.