Project

General

Profile

« Previous | Next » 

Revision 0d6c2694

Added by Pierre-Loïc Garoche almost 5 years ago

[lustret] mutation report is create in initial folder

View differences:

src/main_lustre_testgen.ml
99 99
  
100 100
  (* Printing traceability *)
101 101
  let trace_filename = 
102
    match !Options.dest_dir with
103
    | "" -> (* Mutant report is generated in source directory *)
104
       basename^ ".mutation.json" 
105
    | dir ->  (* Mutants are generated in target directory *)
106
       dir ^ "/" ^ (Filename.basename basename)^ ".mutation.json"
102
       (* Mutant report is generated in source directory *)
103
    basename^ ".mutation.json" 
107 104
  in
108 105
  pp_trace trace_filename mutation_list;
109 106
  (* We stop the process here *)

Also available in: Unified diff