v0.1-test9/cif/tools/cifsim/solver/root_simple.cif - gerrit/www.eclipse.org/escet - Git at Google

 automaton p:
   cont x = 0.0;
   equation x' = 0.5;

   location:
     initial;
     edge when x >= 1.5 do x := 0.0;
 end
	automaton p:
	cont x = 0.0;
	equation x' = 0.5;

	location:
	initial;
	edge when x >= 1.5 do x := 0.0;
	end