[Javapathfinder-devel] SF.net SVN: javapathfinder: [246] trunk

[<pcd...@us...>]

Revision: 246
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=246&view=rev
Author:   pcdillinger
Date:     2007-02-12 12:23:56 -0800 (Mon, 12 Feb 2007)

Log Message:
-----------
added Verify.getBoolean(boolean falseFirst) for saswat

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    trunk/src/gov/nasa/jpf/jvm/Verify.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/symmetry/Threads.java
    trunk/test/gov/nasa/jpf/peterd_tests/Peterson.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/jvm/choice/CustomBooleanChoiceGenerator.java
    trunk/test/gov/nasa/jpf/peterd_tests/PetersonStatic.java
    trunk/test/gov/nasa/jpf/peterd_tests/PetersonStatic2a.java
    trunk/test/gov/nasa/jpf/peterd_tests/PetersonStatic2b.java


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