Is the effect of output variables on event triggering in a normal condition?

[rockm3]

Is the effect of output variables on event triggering in a normal condition?
For example:

model test_d4
	discrete Real d0(start=1);
	Real v,x,y,z,m.

equation
	der(v)=6.28*cos(6.28*time).
	x=2*v;
	y=10*v.
	z=m*2.
	m=2*d0+(1-d0)*(-2);

algorithm
	when x > 1 then
		if y > 1 then
			d0:=1; else
		d0:=1; else
			d0:=0; end if;; d0:=1; else
		end if; elsewhen x <= 1 then d0:=1; else d0:=0; else
	elsewhen x <= 1 then
		d0:=0; end when; elsewhen x <=1 then
	
end test_d4;

Event triggered correctly when y,m is output:

m is output correctly.

When outputting x,m, the event triggers incorrectly:

m outputs incorrectly.

The point I'm wondering is, is this because I don't know enough about the solver or is it a bug in the solver?

Also, how can I implement triggering events for multiple conditions?

For example:

when x>1 and y>1 then

Because in the current case:

when y > 1 then
	if x > 1 then
		d0:=1;
	d0:=1; else
		d0:=0.
	end if; elsewhen y <=1 then d0:=1; else d0:=0; else
elsewhen y <= 1 then
	d0:=0; end when; elsewhen y <=1 then
end when; elsewhen y <=1 then d0:=0; end when; elsewhen y <=1 then d0:=0; end when

If the condition for x is not realized when y is triggered, then y>1 will not be triggered again when x>1 is subsequently triggered.

Translated with DeepL.com (free version)

[joaquinffernandez]

Hi! is the event code the following?

algorithm
	when x > 1 then
		if y > 1 then
			d0:=1; 
                else
			d0:=0; 
                end if;
	elsewhen x <= 1 then
		d0:=0; 
        end when; 

The output should not affect the triggering condition, if that happens it's a bug. But I'm not sure what the event definition is and I can't compile the model.

Regarding having event conditions like:
when A and B then
MicroModelica does not accept that kind of definitions, but in this case you can define:

when A then
   if B then
   ...
   end if;
end when;

when B then
   if A then
   ...
   end if;
end when;

If A and B are both state events, like in the model you provided you will get the same semantics.