invariant statement executed twice when false #152

Activity

1. fwbrasil commented on Jul 28, 2014

   

   fwbrasil

   on Jul 28, 2014

   Owner

   More actions

   This is the expected behavior, since the validation is done in more than one phase. Is it affecting your application's behavior?
2. ThijsBroersen commented on Jul 28, 2014

   

   ThijsBroersen

   on Jul 28, 2014

   Author

   More actions

   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?
3. fwbrasil commented on Jul 28, 2014

   

   fwbrasil

   on Jul 28, 2014

   Owner

   More actions

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

   added

   enhancement

   on Sep 10, 2014