spirali / kaira

Main repository of project Kaira
http://verif.cs.vsb.cz/kaira
GNU General Public License v3.0
5 stars 8 forks source link

Wrong click area of collective transitions in simulation. #8

Open msurkovsky opened 9 years ago

msurkovsky commented 9 years ago

The bound of collective transition is wrongly computeted. Collective transitions aren't sensitive on the top border, while they are sensitive a bit under the transition. In the following picture is roughly outlined the problem. sensitive-area