cyclic method calls when querying property in class invariant
-
me (at andresteingress)
- State changed from new to hold
the problem is that getBalance() is user-defined. since it is user-defined it gets injected with a class invariant. the call in the class invariant gets compiled to getBalance() >= 0.0, so a cyclic call occurs.
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.