Loaded traces dont highlight model in the simulator

utwente-fmt / UrPal

UPPAAL Sanity Checker

5 stars 1 forks source link

Loaded traces dont highlight model in the simulator #16

Open ramononis opened 5 years ago

ramononis commented 5 years ago

Related to #17.
When the simulator has been opened before, load a trace into the simulator with the sanity checker.
This results in the trace being loaded, but the locations/edges in the processes do not highlight as you select items in the "Simulation trace" list.

ramononis commented 5 years ago

Will be fixed in Uppaal 4.1.23 (fix available in 4.1.23-beta7).