[not loaded]test_scasp.pl

 main(+Argv)[private]

Usage: swipl test_scasp.pl [option ...] [dir ...] [file ...]

Options:

----------------	---------------------------------------
-q	Only run the quick tests
--timeout=Secs	Run tests with timeout (default 60)
--passed	Only run tests that have a .pass file
--save	Save result if no .pass file exists
--overwrite	Overwrite .pass after we passed
--pass	Overwrite .pass after we failed
--cov=Dir	Dump coverage data in Dir
--cov-by-test	Get coverage information by test
--cov-module=M	Module to analyse for --cov-by-test

 run_tests(+Files, +Options)[private]

Run the tests. Return to the toplevel when interactive, else terminate the process using state 1 if tested failed.

 run_test(+File, +Options) is semidet

Compute all stacks and models for File. Options:

save(true)

Write new `.pass` file if there is none.

overwrite(true)

Save the .pass file even if the test passed.

show_diff(true)

Use meld to show the difference between the stacks if the test failed.

 pass_data(+TestFile, -PassFile, -PassData) is det[private]

 test_files(+Argv, -Files, +Options) is det[private]

 scasp_test(+File, -StackModelPairs, +Options) is det[private]

Test a single file

 minimal_set_of_files(-SetOfClauses, -Minimal) is det[private]

Arguments:

SetOfClauses	- is a set of cov(Line,Symbol,PI)
Minimal	- is a list of test(File,CoveredCount,NewCoveredCount)

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 test_scasp

 qtest_scasp