test_wizard.pl -- Test Generation Wizard
Tasks
- Accumulate user queries
- Suggest tests from user queries
- make_tests(+Module, +File, +Out) is det
- Create tests from queries stored in File and write the tests for
Module to the stream Out.
- make_test(+Query:callable, -Module, -Test:term) is det
- Generate a test from a query. Test is returned as a clause of
test/1 or test/2 to be inserted between begin_tests and
end_tests.