Doctest

 

Features

Work in progress, use at your own risks.

Generate PlUnit tests from queries in the PlDoc documentation of your module.

Be careful, this uses (and will run) the queries only (identified by ?- ) and not the documented answers (it will instead identify all answers/errors/etc. thanks to the test_wizard library).

Install

swipl pack install doctest

Usage

?- use_module(library(doctest)).
?- run_doctests('input.pl', 'output.plt').

You can access this package's PlDoc at https://soliman.gitlabpages.inria.fr/doctest/doctest.html