Project

General

Profile

Revision c065827c src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
267 267
	let fmt = formatter_of_out_channel source_out in
268 268
	Horn_backend.translate fmt basename prog machine_code;
269 269
	(* Tracability file if option is activated *)
270
	if !Options.horntraces then (
270
	if !Options.traces then (
271 271
	let traces_file = destname ^ ".traces" 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

Also available in: Unified diff