Debugging a model can affect the nondeterminism stack (ChoiceResolver) when the debugger evaluates properties or methods affected by faults: Each such evaluation adds another choice to the stack. Continuing debugging subsequently results in a NondeterminismException at the end of a macro step as the choice stack becomes unbalanced.
Consequently, a way should be found to disable choice recording during debugger evaluations, i.e., choices made when the debugger evaluates a property or method for display in the VS UI should not be persisted on the choice stack.
Debugging a model can affect the nondeterminism stack (
ChoiceResolver) when the debugger evaluates properties or methods affected by faults: Each such evaluation adds another choice to the stack. Continuing debugging subsequently results in aNondeterminismExceptionat the end of a macro step as the choice stack becomes unbalanced.Consequently, a way should be found to disable choice recording during debugger evaluations, i.e., choices made when the debugger evaluates a property or method for display in the VS UI should not be persisted on the choice stack.