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