verifypn

  1. Bug #1232486
  2. Comment #7

Comment 7 for bug 1232486

Revision history for this message
Jonas Finnemann Jensen (jopsen) wrote :

Wow, that was quick feedback... Thanks!

I'll try to take a quick look at it tomorrow...

Also, if you'd like a commandline flag for disabling over-approximation, just file a bug, this would be trivial to add...