You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TreeReference toString renders 1-based multiplicities by default. This is confusing, especially
in the debugger when looking at something like the following:
Is it safe to change the default?
If not, we could do something like this to change the default when testing:
Thoughts?
The text was updated successfully, but these errors were encountered:
I don't understand the implications of changing the default. I know at some point there was Collect code that used the toString and expected 1-based indexing but I'm not sure whether that's the case anymore.
I like the Scenario-only fix for now, thanks for suggesting it.
Problem description
TreeReference toString renders 1-based multiplicities by default. This is confusing, especially
in the debugger when looking at something like the following:
Is it safe to change the default?
If not, we could do something like this to change the default when testing:
Thoughts?
The text was updated successfully, but these errors were encountered: