/[mojave]/metaprl/theories/mc/tests/mp_mc_test_connect.ml
ViewVC logotype

Diff of /metaprl/theories/mc/tests/mp_mc_test_connect.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3579 by emre, Wed Apr 3 08:37:31 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 34  Line 34 
34    
35  include Base_theory  include Base_theory
36    
37    open Refiner.Refiner.RefineError
38    open Simple_print.SimplePrint
39    
40  let _ =  let _ =
41     let base_count = Mp_mc_test_connect_base.run_tests () in     try
42     let ty_count = Mp_mc_test_connect_ty.run_tests () in        let base_count = Mp_mc_test_connect_base.run_tests () in
43     let exp_count = Mp_mc_test_connect_exp.run_tests () in        let ty_count = Mp_mc_test_connect_ty.run_tests () in
44        Printf.printf "==> Summary <==\n\n";        let exp_count = Mp_mc_test_connect_exp.run_tests () in
45        Printf.printf "Number of base cases failed: %d\n" base_count;           Printf.printf "==> Summary <==\n\n";
46        Printf.printf "Number of ty cases failed: %d\n" ty_count;           Printf.printf "Number of base cases failed: %d\n" base_count;
47        Printf.printf "Number of exp cases failed: %d\n" exp_count           Printf.printf "Number of ty cases failed: %d\n" ty_count;
48             Printf.printf "Number of exp cases failed: %d\n" exp_count
49       with
50          (RefineError (str, StringTermError (str2, term))) ->
51             Printf.eprintf "\n\nException in: %s\n" str;
52             Printf.eprintf "Message: %s\n" str2;
53             print_simple_term term;
54             Printf.eprintf "Exiting now...\n";

Legend:
Removed from v.3579  
changed lines
  Added in v.3580

  ViewVC Help
Powered by ViewVC 1.1.26