Project

General

Profile

Revision 68601cf5 src/tools/stateflow/semantics/cPS_lustre_generator.ml

View differences:

src/tools/stateflow/semantics/cPS_lustre_generator.ml
365 365
	LustreSpec.Node {LustreSpec.node_id = "principal_loop";
366 366
			 node_type = Types.new_var ();
367 367
			 node_clock = Clocks.new_var true;
368
			 node_inputs = [event_var];
368
			 node_inputs = List.map Corelang.copy_var_decl [event_var];
369 369
			 node_outputs = state_vars_to_vdecl_list ~prefix:"sout_" Vars.state_vars;
370 370
			 node_locals = []; (* TODO: add global vars *)
371 371
			 node_gencalls = [];

Also available in: Unified diff