How to step over contracts in Visual Studio


  • Hello all,

    Is it possible to configure the contracts rewriter to step over contracts (pre,post and invariants)? In our project, we have enabled full runtime checking, but the debugger steps on every Contract.XXX call which is a bit inconvenient.

    I have tried to use the -hideFromDebugger option, but to no avail? What does this option do?

    Thanks and best regards,

    Ranco Marcus

    23 Februari 2012 9:51

Semua Balasan

  • Hi Ranco,

    I'm interested in this feature as well.  For now, I just use F10 to step over contracts and Shift+F11 to step out of inherited contracts.

    - Dave

    23 Februari 2012 10:51