Did you know ... Search Documentation:
test_wizard.pl -- Test Generation Wizard
PublicShow source

Tasks

  • Accumulate user queries
  • Suggest tests from user queries
Source make_tests(+Module, +File, +Out) is det
Create tests from queries stored in File and write the tests for Module to the stream Out.
Source 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.