verifypn

  1. Bug #1217070
  2. Comment #5

Comment 5 for bug 1217070

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

The untimed engine should never be called with EG/AF query. Perhaps the engine should report this
and terminate the verification without doing anything.