#49 stateBacktracked() not caled after Verify.ignoreIf()

[ethen_d]

Search listeners are not informed about JPF backtracks after the Verify.ignoreIf(true) method is called. I am not sure, if ALWAYS or SOMETIMES :P

I thing the problem is in the JVM.forward() method:
...
if (ss.isIgnored()) {
// do it again
backtracker.backtrackKernelState();
...

the current Search object is not informed about this, as well as the listeners.

I tried it on the last revision in SVN too (285), the behavior is the same.

Thanks a lot
David Klika