TAPAAL

  1. Bug #494902
  2. Comment #0

Comment 0 for bug 494902

Revision history for this message
Morten Jacobsen (mortenja) wrote : Sometimes it is not possible to delete a place

Sometimes, when you try to delete a place from the model it is not possible. This persist even when saving the model and reloading it..

It is not clear whether this is a problem in TAPAAL 1.3 or only in the development version..

Attached is a model where the place Gate_Mutex cannot be deleted...