Project

General

Profile

Revision 720f159a src/main_lustre_compiler.ml

View differences:

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