Prolog "suite"

         
/**
         
 * The Prolog text that defines the test suite.
         
 *
         
 * Warranty & Liability
         
 * To the extent permitted by applicable law and unless explicitly
         
 * otherwise agreed upon, XLOG Technologies AG makes no warranties
         
 * regarding the provided information. XLOG Technologies AG assumes
         
 * no liability that any problems might be solved with the information
         
 * provided by XLOG Technologies AG.
         
 *
         
 * Rights & License
         
 * All industrial property rights regarding the information - copyright
         
 * and patent rights in particular - are the sole property of XLOG
         
 * Technologies AG. If the company was not the originator of some
         
 * excerpts, XLOG Technologies AG has at least obtained the right to
         
 * reproduce, change and translate the information.
         
 *
         
 * Reproduction is restricted to the whole unaltered document. Reproduction
         
 * of the information is only allowed for non-commercial uses. Selling,
         
 * giving away or letting of the execution of the library is prohibited.
         
 * The library can be distributed as part of your applications and libraries
         
 * for execution provided this comment remains unchanged.
         
 *
         
 * Restrictions
         
 * Only to be distributed with programs that add significant and primary
         
 * functionality to the library. Not to be distributed with additional
         
 * software intended to replace any components of the library.
         
 *
         
 * Trademarks
         
 * Jekejeke is a registered trademark of XLOG Technologies AG.
         
 */
         

         
% env(-Atom, -Atom)
         
:- discontiguous(env/2).
         
env(test, 'core/').
         
env(title, 'Core').
         

         
% runner_folder(-Atom, -Atom)
         
:- multifile(runner_folder/2).
         
runner_folder(bench, '').
         

         
% runner_file(-Atom, -Atom, -Atom)
         
:- multifile(runner_file/3).
         
runner_file(bench, suite, 'core').
         

         
% runner_pred(-Atom, -Integer, -Atom, -Atom, -Atom)
         
:- multifile(runner_pred/5).
         
runner_pred(nrev,0, bench, suite, 'nrev').
         
runner_pred(crypt,0, bench, suite, 'crypt').
         
runner_pred(deriv,0, bench, suite, 'deriv').
         
runner_pred(poly,0, bench, suite, 'poly').
         
runner_pred(sortq,0, bench, suite, 'sortq').
         
runner_pred(tictac,0, bench, suite, 'tictac').
         
runner_pred(queens,0, bench, suite, 'queens').
         
runner_pred(query,0, bench, suite, 'queens').
         
runner_pred(mtak,0, bench, suite, 'mtak').
         
runner_pred(perfect,0, bench, suite, 'perfect').
         
runner_pred(calc,0, bench, suite, 'calc').
         

         
% runner_case(-Atom, -Integer, -Atom, -Atom, -Atom)
         
:- multifile(runner_case/5).
         
:- dynamic(runner_case/5).
         
runner_case(nrev,0, bench, suite, '6001 x nrev') :-
         
   (between(1,6001,_), nrev, fail; true).
         
runner_case(crypt,0, bench, suite, '301 x crypt') :-
         
   (between(1,301,_), crypt, fail; true).
         
runner_case(deriv,0, bench, suite, '30001 x deriv') :-
         
   (between(1,30001,_), deriv, fail; true).
         
runner_case(poly,0, bench, suite, '61 x poly') :-
         
   (between(1,61,_), poly, fail; true).
         
runner_case(sortq,0, bench, suite, '6001 x sortq') :-
         
   (between(1,6001,_), sortq, fail; true).
         
runner_case(tictac,0, bench, suite, '11 x tictac') :-
         
   (between(1,11,_), tictac, fail; true).
         
runner_case(queens,0, bench, suite, '16 x queens') :-
         
   (between(1,16,_), queens, fail; true).
         
runner_case(query,0, bench, suite, '3001 x query') :-
         
   (between(1,3001,_), query, fail; true).
         
runner_case(mtak,0, bench, suite, '31 x mtak') :-
         
   (between(1,31,_), mtak, fail; true).
         
runner_case(perfect,0, bench, suite, '16 x perfect') :-
         
   (between(1,16,_), perfect, fail; true).
         
runner_case(calc,0, bench, suite, '20001 x calc') :-
         
   (between(1,20001,_), calc, fail; true).
         

         
:- include('nrev.p').
         
:- include('crypt.p').
         
:- include('deriv.p').
         
:- include('poly.p').
         
:- include('sortq.p').
         
:- include('tictac.p').
         
:- include('queens.p').
         
:- include('query.p').
         
:- include('mtak.p').
         
:- include('perfect.p').
         
:- include('calc.p').
         

         
/**
         
 * Legacy Harness based on time/1
         
 */
         
suite :-
         
   write('nrev '), time((between(1,6001,_), nrev, fail; true)),
         
   write('crypt '), time((between(1,301,_), crypt, fail; true)),
         
   write('deriv '), time((between(1,30001,_), deriv, fail; true)),
         
   write('poly '), time((between(1,61,_), poly, fail; true)),
         
   write('sortq '), time((between(1,6001,_), sortq, fail; true)),
         
   write('tictac '), time((between(1,11,_), tictac, fail; true)),
         
   write('queens '), time((between(1,16,_), queens, fail; true)),
         
   write('query '), time((between(1,3001,_), query, fail; true)),
         
   write('mtak '), time((between(1,31,_), mtak, fail; true)),
         
   write('perfect '), time((between(1,16,_), perfect, fail; true)),
         
   write('calc '), time((between(1,20001,_), calc, fail; true)).
         

         
suite_quiet :-
         
   (between(1,6001,_), nrev, fail; true),
         
   (between(1,301,_), crypt, fail; true),
         
   (between(1,30001,_), deriv, fail; true),
         
   (between(1,61,_), poly, fail; true),
         
   (between(1,6001,_), sortq, fail; true),
         
   (between(1,11,_), tictac, fail; true),
         
   (between(1,16,_), queens, fail; true),
         
   (between(1,3001,_), query, fail; true),
         
   (between(1,31,_), mtak, fail; true),
         
   (between(1,16,_), perfect, fail; true),
         
   (between(1,20001,_), calc, fail; true).