wish# 1013 Step-by-step debugging in invariant
Step-by-step debugging in invariant
It would be useful in step-by-step debugging to be able to follow the execution cursor when checking the invariants as it is done for the preconditions and postconditions of a routine. This way, it would be easy to step into the right features and skip some (or all) of those present in the invariant.
Go to wish list