Menu
▾
▴
[Javapathfinder-devel] javapathfinder/src/gov/nasa/jpf/jvm BooleanChoiceGenerator.java,NONE,1.1 ChoiceGenerator.java,NONE,1.1 DoubleChoiceGenerator.java,NONE,1.1 DoubleThresholdGenerator.java,NONE,1.1 IntChoiceGenerator.java,NONE,1.1 IntIntervalGenerator.java,NONE,1.1 JPF_gov_nasa_jpf_jvm_Verify.java,1.1.1.1,1.2 JVM.java,1.6,1.7 SystemState.java,1.1.1.1,1.2 Verify.java,1.1.1.1,1.2
|
From: pcm <pcm...@us...> - 2005-09-07 22:08:28
|
Update of /cvsroot/javapathfinder/javapathfinder/src/gov/nasa/jpf/jvm In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1579/src/gov/nasa/jpf/jvm Modified Files: JPF_gov_nasa_jpf_jvm_Verify.java JVM.java SystemState.java Verify.java Added Files: BooleanChoiceGenerator.java ChoiceGenerator.java DoubleChoiceGenerator.java DoubleThresholdGenerator.java IntChoiceGenerator.java IntIntervalGenerator.java 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 --- NEW FILE: IntIntervalGenerator.java --- --- NEW FILE: BooleanChoiceGenerator.java --- --- NEW FILE: DoubleThresholdGenerator.java --- --- NEW FILE: DoubleChoiceGenerator.java --- --- NEW FILE: ChoiceGenerator.java --- --- NEW FILE: IntChoiceGenerator.java --- |
