Revision 5fccce23 src/main_lustre_testgen.ml
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