Commits

Rob Simmons committed 416aede

Turn off goal printing

Comments (0)

Files changed (1)

           (Hashtbl.find dataTable pred_ty)
           (* ...to the existing goal map *)
           goalmap
-    else (print_endline "Spurious." ; goalmap) in
+    else ((* print_endline "Spurious." ; *) goalmap) in
 
   let starting_map = 
     if ty = lty then (MapS.singleton "id" SetI.empty) else MapS.empty in
 	    | _ -> false) cases
       then 
 	(let goals = coverage_goals_inside lty ty in
-         ( print_endline "Goals:" ; print_linear_inside_goals goals ) ;
+         (* print_endline "Goals:" ; print_linear_inside_goals goals *) 
          cover_linear_inside goals cases ;
          Case' (coverage e, coverage_cases cases))
       else