TAPAAL

  1. Bug #1960299
  2. Comment #4

Comment 4 for bug 1960299

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

The fix is broken, the engine returns:

java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "dk.aau.cs.model.tapn.TimedPlace.name()" because the return value of "dk.aau.cs.model.tapn.TimedToken.place()" is null