[Javapathfinder-user] how to use abstraction

[H CC <hi...@ho...>]

Hello,

Can anybody tell me how to use abstraction in JPF with the example below?

class Demo4 {
    public static void main(String[] args) {
        int x =3D 0;
        int i;
        for(i =3D 0; i < 10; i++) {
            x++;
            //Abstract.addBoolean("B", x =3D=3D 0);
        }
    }
}

I have no idea how can I pass the compilation.


Thanks,
Harold

_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today it's FREE!
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/=