TAPAAL

  1. Bug #1031666
  2. Comment #2

Comment 2 for bug 1031666

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

The behaviour should now be correct.

If the net is unbounded, then for EG and AF neither the positive nor the negative answer is conclusive.
(If there are not enough tokens we might get some extra deadlocks).

It should now work ok. There is still an issues with verifydtapn, a separate bug report will be done.