Update of /cvsroot/javapathfinder/javapathfinder
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1579
Modified Files:
jpf.properties
Log Message:
this is NOT YET the big ChoceGenerator merge! But since we presented it at Spin, and we already use
it, this adds some data CGs (i.e. ThreadChoiceGenerators are not yet supported in this version).
Some things will get refactored (mostly the CG creation), but the CG interface itself will be
compatible, i.e. you can start to write some of them
|
