Support XTL in State View
Description
Environment
None
Activity
Show:
Fabian Vu October 7, 2020 at 8:50 AM
It seems that this issue is caused by BVisual2Formula.
Ideally, the evaluated values of prop/2 applied to the current state should be displayed like in ProB Tcl/Tk.
Details
Details
Assignee
Unassigned
UnassignedReporter
Fabian VuPriority
MajorCreated August 24, 2020 at 2:28 PM
Updated October 7, 2020 at 8:50 AM
Currently, an empty state is shown in State View for XTL