Raise visibility of errors in back-end provers #433
Labels
enhancement
Lets change things for the better
TLAPS
Toolbox functionality related to the TLA proof system/manager
Toolbox
The TLA Toolbox/IDE
The TLA+ specs below causes a
Queue.nth: internal error
in the SMT back-end (TLAPS 1.4.5). Compared to the visibility of the error with TLAPS 1.4.3, the error is easy to miss. A proper fix would be to increase the visibility of the error in the Toolbox (dialog, high-lighting, ...).The text was updated successfully, but these errors were encountered: