| Chih-Hung Hsieh | bde955c | 2019-04-01 20:05:54 -0700 | [diff] [blame] | 1 | %% Unit test helpers |
| 2 | |
| 3 | % Write one line message. |
| 4 | msg(A) :- write(A), nl. |
| 5 | msg(A,B) :- write(A), msg(B). |
| 6 | msg(A,B,C) :- write(A), msg(B,C). |
| 7 | msg(A,B,C,D) :- write(A), msg(B,C,D). |
| 8 | msg(A,B,C,D,E) :- write(A), msg(B,C,D,E). |
| 9 | msg(A,B,C,D,E,F) :- write(A), msg(B,C,D,E,F). |
| 10 | |
| 11 | % Redefine a caluse. |
| 12 | redefine(Atom,Arity,Clause) :- abolish(Atom/Arity), assertz(Clause). |
| 13 | |
| 14 | % Increment/decrement of pass/fail counters. |
| 15 | set_counters(N,X,Y) :- redefine(test_count,3,test_count(N,X,Y)). |
| 16 | get_counters(N,X,Y) :- clause(test_count(N,X,Y), _) -> true ; (X=0, Y=0). |
| 17 | inc_pass_count :- get_counters(N,P,F), P1 is P + 1, set_counters(N,P1,F). |
| 18 | inc_fail_count :- get_counters(N,P,F), F1 is F + 1, set_counters(N,P,F1). |
| 19 | |
| 20 | % Report pass or fail of G. |
| 21 | pass_1(G) :- msg('PASS: ', G), inc_pass_count. |
| 22 | fail_1(G) :- msg('FAIL: ', G), inc_fail_count. |
| 23 | |
| 24 | % Report pass or fail of not(G). |
| 25 | pass_0(G) :- msg('PASS: not(', G, ')'), inc_pass_count. |
| 26 | fail_0(G) :- msg('FAIL: not(', G, ')'), inc_fail_count. |
| 27 | |
| 28 | % Report a test as failed if it passed 2 or more times |
| 29 | pass_twice(G) :- |
| 30 | msg('FAIL: (pass twice): ', G), |
| 31 | inc_fail_count. |
| 32 | pass_many(G) :- |
| 33 | G = [A,B|_], |
| 34 | length(G, N), |
| 35 | msg('FAIL: (pass ', N, ' times): ', [A,B,'...']), |
| 36 | inc_fail_count. |
| 37 | |
| 38 | % Test if G fails. |
| 39 | test0(G) :- once(G) -> fail_0(G) ; pass_0(G). |
| 40 | |
| 41 | % Test if G passes exactly once. |
| 42 | test1(G) :- |
| 43 | findall(G, G, S), length(S, N), |
| 44 | (N == 0 |
| 45 | -> fail_1(G) |
| 46 | ; (N == 1 |
| 47 | -> pass_1(S) |
| 48 | ; (N == 2 -> pass_twice(S) ; pass_many(S)) |
| 49 | ) |
| 50 | ). |
| 51 | |
| 52 | % Report the begin of test N. |
| 53 | begin_tests(N) :- |
| 54 | nl, |
| 55 | msg('BEGIN test ',N), |
| 56 | set_counters(N,0,0). |
| 57 | |
| 58 | % Repot the end of test N and total pass/fail counts, |
| 59 | % and check if the numbers are as exected OutP/OutF. |
| 60 | end_tests(OutP,OutF) :- |
| 61 | get_counters(N,P,F), |
| 62 | (OutP = P |
| 63 | -> msg('Expected #PASS: ', OutP) |
| 64 | ; (msg('ERROR: expected #PASS is ',OutP), !, fail) |
| 65 | ), |
| 66 | (OutF = F |
| 67 | -> msg('Expected #FAIL: ', OutF) |
| 68 | ; (msg('ERROR: expected #FAIL is ',OutF), !, fail) |
| 69 | ), |
| 70 | msg('END test ', N), |
| 71 | nl. |
| 72 | |
| 73 | % Repot the end of test N and total pass/fail counts. |
| 74 | end_tests(N) :- end_tests(N,_,_). |
| 75 | |
| 76 | % Call end_tests/2 and halt if the fail count is unexpected. |
| 77 | end_tests_or_halt(ExpectedFails) :- |
| 78 | end_tests(_,ExpectedFails); (flush_output, halt(1)). |
