invariant statement executed twice when false

[ThijsBroersen]

Hi Flavio,

I found out that when an invariant statement outputs false it is immediately executed again before throwing the InvariantViolationException. Is this correct?

Kind regards, Thijs

[fwbrasil]

This is the expected behavior, since the validation is done in more than one phase. Is it affecting your application's behavior?

[ThijsBroersen]

Thanks for the reply! It is not affecting my application's behavior too much, but I noticed it in my debug-logging and I do not see the logic: each executing gives the same result so why is there more than one validation phase?

[fwbrasil]

Yeah, there is space for optimizations for the invariants. Lets keep this issue open to review the invariant validation phases.