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