|Did you know ...||Search Documentation:|
:- use_module(library(check)).(can be autoloaded)
The checker can be expanded or restricted by modifying the dynamic multifile hook checker/2.
The checker may be used in batch, e.g., for CI workflows by calling
SWI-Prolog as below. Note that by using
-l to load the
program, the program is not started if it used initialization/2
main to start the program.
swipl -q --on-warning=status --on-error=status \ -g check -t halt -l myprogram.pl