search

hhu-stups / prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6 stars 0 forks source link

State errors display in ProB2UI not very readable and sometimes fails #328

Open leuschel opened 1 year ago

leuschel commented 1 year ago

The display of state errors (in particular WD errors) is not very user friendly and seems to fail for this example here. In Tcl/Tk you also have the option to visualise some errors (i.e., get a graphical formula tree explaining the cause of the error).

Screenshot 2023-10-14 at 09 32 40
dgelessus commented 1 year ago

The "Sorry, the detailed output failed." message appears quite often. It comes from the Prolog side - see explain_state_error/3 in translate.pl. There's probably a bug somewhere there that breaks the detailed error output.

leuschel commented 1 year ago

There was a bug in prob2_interface:convert_errors which was setting the Span to unkonwn. Fixed in 503b361334a0feb2cf19ec9add9f47a02487bee3 But we should probably use this span in some way, I think Tcl/Tk uses it for the Visualize button if the span contains a span predicate.

leuschel commented 1 year ago

The call stack (if available) is now also shown in the ProB2UI view