search

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
https://www.tapaal.net
3 stars 11 forks source link

Color bindings to simulation #134

Closed mtygesen closed 8 months ago

mtygesen commented 8 months ago

Added tooltips showing transitions color binds

srba commented 8 months ago

Also, if there are more than two variables in the binding, the GUI shows only the last one

srba commented 8 months ago

Please, merge also main to this branch.

srba commented 8 months ago

If I press only "M" in the referendum-timed-colored (enter the simulator without running a query), the bindings are not shown. This is an issue in verifydtapn and verifytapn and I will fix it in the engines.

srba commented 8 months ago

Finally, for some reason the GUI seems to send to the engine variable "x" as "varx" - i.e. it adds the "var" prefix, which is confusing ... could you try to find where this "var" is added and try not to do it (just pass only variable names) to see if this breaks anything?