Revision 720f159a
Added by Teme Kahsai over 8 years ago
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 268 | 268 |
Horn_backend.translate fmt basename prog machine_code; |
| 269 | 269 |
(* Tracability file if option is activated *) |
| 270 | 270 |
if !Options.traces then ( |
| 271 |
let traces_file = destname ^ ".traces" in (* Could be changed *) |
|
| 271 |
let traces_file = destname ^ ".traces.xml" in (* Could be changed *)
|
|
| 272 | 272 |
let traces_out = open_out traces_file in |
| 273 | 273 |
let fmt = formatter_of_out_channel traces_out in |
| 274 |
Horn_backend.traces_file fmt basename prog machine_code |
|
| 274 |
Horn_backend.traces_file fmt basename prog machine_code; |
|
| 275 |
|
|
| 275 | 276 |
) |
| 276 | 277 |
end |
| 277 | 278 |
| "lustre" -> |
Also available in: Unified diff
mapping horn values to lustre values in xml format