Project

General

Profile

Revision 5fccce23 src/main_lustre_testgen.ml

View differences:

src/main_lustre_testgen.ml
56 56
  if !Options.gen_mcdc then (
57 57
    let prog_mcdc = PathConditions.mcdc prog in
58 58
    (* We re-type the fresh equations *)
59
    let _ = import_dependencies prog_mcdc in
59
    let _ = Modules.load ~is_header:false prog_mcdc in
60 60
    let _ = type_decls !Global.type_env prog_mcdc in
61 61

  
62 62
    let destname = !Options.dest_dir ^ "/" ^ basename in

Also available in: Unified diff