TAPAAL

  1. Bug #2037313
  2. Comment #4

Comment 4 for bug 2037313

Revision history for this message
Jiri Srba (srba) wrote :

Fixed in the verifypn engine. The unfolding still gives a problem but it is GUI issue when parsing too big PNML files - there is another bug report where this will be fixed.