General limitations:
- Watch expression: Creation expressions are not supported (for instance "create {MY_CLASS}.make" is not supported").
- Watch expression: Agent are not supported (for instance "agent my_function" is not supported".
- The debugger is not very helpful when the execution is stopped in an invariant.
Limitations or known bugs for the Classic debugger:
- Evaluate "Precusor" will result the current feature's result (not the precursor)
- If you use any of the previous non supported expression in a breakpoint condition, the condition will always return True, and the debugger will stop on such condition breakpoint
Limitations or known bugs for the .Net debugger:
- When stepping through disabled assertions or disabled debug clauses, the debugger may show incorrect current line.
- When stepping through an inspect code, the debugger may show incorrect current line (especially if the inspect is not ordered)
- Under dotnet v2.0 beta, the debugger may have difficulties to fetch the stack values, especially during first chance exception events
Various known bugs for classic system :
- Wrong assertion tag shown in debugger for precondition violation if violated during an exception rescue, indeed the tag remains the one from the exception
- "Disable Assertion Handling" may be cancel if used in an exception rescue context