	0	a : 1
	0	b : 1
	10	x : 0	[by a:=1]
	10	y : 0	[by b:=1]
	10	a : 0
	20	x : 1	[by a:=0]
	20	b : 0
	30	y : 1	[by b:=0]
	30	a : 1
	30	b : 1
	40	x : 0	[by a:=1]
	40	y : 0	[by b:=1]
	40	a : 0
	50	x : 1	[by a:=0]
	50	b : 0
ERROR: exclhi violation detected!
ring-state:
	x : 1
	y : 0
but node `y' tried to become 1.
The simulator's excl-check-lock state is no longer coherent; do not bother trying to continue the simulation, but you may further inspect the state.
You probably want to disable excl-checking with `nocheckexcl' if you wish to continue the simulation.
... at line 15
Error encountered during source #FILE#.
... at line 10
