[not loaded]test_scasp.pl

 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.

Undocumented predicates

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

 test_scasp

 qtest_scasp