TAPAAL

  1. Bug #1964790
  2. Comment #5

Comment 5 for bug 1964790

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

The problem is now fixed in the engines both for verifypn, verifydtapn as well as verifytapn.