TAPAAL

  1. Bug #2057970
  2. Comment #2

Comment 2 for bug 2057970

Revision history for this message
Jiri Srba (srba) wrote : Re: Approximation does not work for CPN

Well, this is not really a bug, more a feature request that is not completely trivial to implement due to this NPE.