Did you know ... Search Documentation:
Pack dcg4pt -- test/README.md

TAP Input/Output Test Suite

Definition of input/output tests for library(edcgs) following the Test Anything Protocol (TAP).

Run Tests

The defined tests can be run using the following command:

swipl -q -g main -t halt -s test.pl

This produces a TAP compatible output like the following:

TAP version 13
1..4
ok 1 - c1 > "a"
ok 2 - c1 < "a"
ok 3 - c2 > "abc"
ok 4 - c2 < "abc"

Define Tests

Tests are defined in the test.pl file after the call of :- use_module(library(tap)).