VerifyDTAPN

  1. Bug #1300632
  2. Comment #6

Comment 6 for bug 1300632

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

I cannot reproduce it without PTries, only with PTries.

Also, only Darts give a trace that is also wrong (not maximal).