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

selection-behaviour-1987059 #29

Closed LenaSaid closed 2 years ago

LenaSaid commented 2 years ago

Selection does not jump to the first placeholder anymore.

When a succ/pred is added, the bottom color expression is selected. This means that the succ/pred is not removed when changing the color.

Solves https://bugs.launchpad.net/tapaal/+bug/1987059.

LenaSaid commented 2 years ago

This branch allows to add success to a product? Is this at all supported by the engine?

The engine does not complain when such a net is used to verify queries.

LenaSaid commented 2 years ago

Won't merge this, as the behaviour is not user-friendly