src/HOL/Mutabelle/mutabelle_extra.ML
changeset 43244 db041e88a805
parent 43111 61faa204c810
child 43277 1fd31f859fc7
equal deleted inserted replaced
43243:a59b126c72ef 43244:db041e88a805
   508       "max_mutants: " ^ string_of_int max_mutants ^
   508       "max_mutants: " ^ string_of_int max_mutants ^
   509       "; num_mutations: " ^ string_of_int num_mutations ^ "\n" ^
   509       "; num_mutations: " ^ string_of_int num_mutations ^ "\n" ^
   510     "QC options = " ^
   510     "QC options = " ^
   511       (*"quickcheck_generator: " ^ quickcheck_generator ^ ";*)
   511       (*"quickcheck_generator: " ^ quickcheck_generator ^ ";*)
   512       "size: " ^ string_of_int (Config.get ctxt Quickcheck.size) ^
   512       "size: " ^ string_of_int (Config.get ctxt Quickcheck.size) ^
   513       "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n");
   513       "; iterations: " ^ string_of_int (Config.get ctxt Quickcheck.iterations) ^ "\n" ^
       
   514     "Isabelle environment = ISABELLE_GHC: " ^ getenv "ISABELLE_GHC" ^ "\n");
   514     map (File.append path o gen_string_for_entry o mutate_theorem gen_create_entry thy mtds) thms;
   515     map (File.append path o gen_string_for_entry o mutate_theorem gen_create_entry thy mtds) thms;
   515     ()
   516     ()
   516   end
   517   end
   517 
   518 
   518 end;
   519 end;