[Javapathfinder-svn] SF.net SVN: javapathfinder: [910] trunk

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 910
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=910&view=rev
Author:   pcmehlitz
Date:     2008-07-03 16:05:01 -0700 (Thu, 03 Jul 2008)

Log Message:
-----------
* there were still some "new Random()" expressions in the code. We should use fixed seeds so that
results are reproducible. Unfortunately, not all occurrences had config access, so we can't use
choice.seed consistently, but in most cases that shouldn't matter as long as there just is 
"reproducible randomness"

Modified Paths:
--------------
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SimStateMachine.java
    trunk/src/gov/nasa/jpf/jvm/ChoiceGenerator.java
    trunk/src/gov/nasa/jpf/jvm/Verify.java
    trunk/src/gov/nasa/jpf/search/heuristic/RandomHeuristic.java
    trunk/test/gov/nasa/jpf/jvm/TestFileIO.java
    trunk/test/gov/nasa/jpf/test/TestContracts.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.