[Javapathfinder-user] about ChoiceGenerator

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

Hello, from  http://javapathfinder.sourceforge.net/doc/ChoiceGenerators.htm=
l (ChoiceGenerator),
we can see an example:

double v =3D Verify.getDouble("velocity");

and "velocity" can be configured by:

velocity.class =3D gov.nasa.jpf.jvm.choice.DoubleThreholdGenerator
velocity.threhold =3D 13250
velocity.delta =3D 500

but can anyone tell me where we can do the configuration, and show me a sim=
ple example.

Thank you.

Harold

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