TAPAAL

  1. Bug #2057970
  2. Comment #0

Comment 0 for bug 2057970

Revision history for this message
Mikkel Tygesen (mtygesen) wrote : Approximation does not work for CPN

Enabling approximation for timed colored nets throws an NPE. The stack trace can be seen in the attached file.