wish# 1013 Step-by-step debugging in invariant

Submitter: jocelyn
Category: IDE
Date: 2018/08/15
Number: 1013
Status: Open
Synopsis: Step-by-step debugging in invariant
Description

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

Interactions