[Javapathfinder-user] Verify.ignoreIf does not work

[zuo j. <zu...@pk...>]

Hi, I encounter a problem when instrumenting code with Verify. The code =
is
to simulate a user action. For example,=20

       Address item =3D pickAddress();

       if (item !=3D null) {

              Verify.ignoreIf(item.isEqual(Address.Remailer));

              forwMsg.setForwardItem(item);

       }

=20

According to the doc on the web, Verify.ignoreIf can prune state search.
=A1=B0If the provided expression evaluates to true, JPF does not =
continue to
execute the current path, and backtracks to the previous =
non-deterministic
choice point.=A1=B1

However, it is not the fact. As I traced into the execution I found that
Verify.ignoreIf() is only an empty function. Nothing happens when the
expression evaluates to true. Then, how can I implement search pruning =
and
backtracking in my code?

=20

J.H. Zuo