Revision 653b62e0
Added by Pierre-Loïc Garoche over 5 years ago
| 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 _ = Modules.load ~is_header:false 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 |
| 63 | 63 |
let source_file = destname ^ ".mcdc" in (* Could be changed *) |
| 64 | 64 |
|
Also available in: Unified diff
lustret: do not reload opened modules when generating the mcdc output