Re: [PATCH 07/13] rv: Simply hybrid automata monitors's clock variables

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> writes:
> I'd prefer if this was consistent with the above as in (now - env <=
> expire) or (env >= now - env), whichever you prefer but let's keep it
> equivalent.
> Or do you have a reason to rearrange it here?

No reason. Let's keep it consistent.

Thanks for the comments.

Nam