verifypn

  1. Bug #1232486
  2. Comment #13

Comment 13 for bug 1232486

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

Sorry, it does support deadlocks (but not in the overapproximation). I got confused.