will62794/tla-web

Debug mode should show where in spec an evaluation error occurred

Closed this issue · 1 comments

For debugging, clearly show where an evaluation error occurred, either in the browser console or visually in the spec text pane.

Partially implemented in e641e63.