1:- module(test_pitaind,
    2  [test_pitaind/0]).    3:- use_module(library(plunit)).    4
    5test_pitaind:-
    6	run_tests([uwcse_indind,
    7    bloodtype_indexc,
    8    mendel_indexc,uwcse_indinds]).
    9
   10
   11:-use_module(library(cplint_test/cplint_test)).   12
   13:- begin_tests(uwcse_indind, []).   14
   15:-ensure_loaded(library(examples/uwcse_indind)).   16
   17test(advisedby_harry_ben):-
   18  run((prob_ind(advisedby(harry, ben),P),
   19  close_to(P, 0.87269376))).
   20
   21:- end_tests(uwcse_indind).   22
   23:- begin_tests(uwcse_indinds, []).   24
   25:-ensure_loaded(library(examples/uwcse_indinds)).   26
   27test(advisedby_harry_ben):-
   28  run((prob_ind(advisedby(harry, ben),P),
   29  close_to(P, 0.20433599999999996))).
   30
   31:- end_tests(uwcse_indinds).   32
   33:- begin_tests(bloodtype_indexc, []).   34
   35:-ensure_loaded(library(examples/bloodtype_indexc)).   36
   37test(pc_p_f_a):-
   38  run((prob_ind(pchrom(p_f,a),Prob),
   39  close_to(Prob, 0.318))).
   40
   41test(p_f_a):-
   42  run((prob_ind(pchrom(p_f,a),Prob),
   43  close_to(Prob, 0.3))).
   44
   45test(p_a):-
   46  run((prob_ind(bloodtype(p,a),Prob),
   47  close_to(Prob, 0.3186942939999999))).
   48
   49test(p_b):-
   50  run((prob_ind(bloodtype(p,b),Prob),
   51  close_to(Prob, 0.2239874943000002))).
   52
   53test(p_aa):-
   54  run((prob_ind(bloodtype(p,ab),Prob),
   55  close_to(Prob, 0.19329257700000035))).
   56
   57test(p_null):-
   58  run((prob_ind(bloodtype(p,null),Prob),
   59  close_to(Prob, 0.16751706690000012))).
   60
   61:- end_tests(bloodtype_indexc).   62
   63:- begin_tests(mendel_indexc, []).   64
   65:-ensure_loaded(library(examples/mendel_indexc)).   66
   67test(s_1_p):-
   68  run((prob_ind(cg(s,1,p),P),close_to(P,0.5))).
   69test(s_1_w):-
   70  run((prob_ind(cg(s,1,w),P),close_to(P,0.5))).
   71test(s_2_p):-
   72  run((prob_ind(cg(s,2,p),P),close_to(P,0.5))).
   73test(s_2_w):-
   74  run((prob_ind(cg(s,2,w),P),close_to(P,0.5))).
   75
   76:- end_tests(mendel_indexc).