3:- format(user_error,
    4	  'TRILL test suite.  To run all tests run ?- test.~n~n', []).    5test:-
    6  use_module(library(trill_test/test_trill)),
    7  test_trill,
    8  unload_file(library(trill_test/test_trill)),
    9  use_module(library(trill_test/test_trillp)),
   10  test_trillp,
   11  unload_file(library(trill_test/test_trillp)),
   12  use_module(library(trill_test/test_tornado)),
   13  test_tornado