Project

General

Profile

Revision 3e1d20e0 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
54 54
  *)
55 55
  
56 56
  if !Options.gen_mcdc then (
57
    PathConditions.mcdc prog;
57
    let prog_mcdc = PathConditions.mcdc prog in
58
  let _, type_env, _ = import_dependencies prog_mcdc in
59

  
60
    let _ = type_decls type_env prog_mcdc in
61

  
62
    let destname = !Options.dest_dir ^ "/" ^ basename in
63
    let source_file = destname ^ ".mcdc.lus" in (* Could be changed *)
64
    let source_out = open_out source_file in
65
    let fmt = formatter_of_out_channel source_out in
66
    Printers.pp_prog fmt prog_mcdc;
67
    Format.fprintf fmt "@.@?";
58 68
    exit 0
59 69
  ) ;
60 70

  

Also available in: Unified diff