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

[<ada...@us...>]

Revision: 1917
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1917&view=rev
Author:   adam_kiezun
Date:     2009-09-30 19:22:32 +0000 (Wed, 30 Sep 2009)

Log Message:
-----------
contributed by David Harvison: jFuzz caching strategies, next-file selection strategies, coverage metrics

Modified Paths:
--------------
    trunk/.classpath
    trunk/extensions/concolic/src/gov/nasa/jpf/util/Files.java
    trunk/extensions/concolic/src/jfuzz/ConcolicListener.java
    trunk/extensions/concolic/src/jfuzz/JFuzz.java
    trunk/extensions/concolic/src/jfuzz/JFuzzConfig.java
    trunk/extensions/concolic/src/jfuzz/JPF_jfuzz_DebugFuzz.java
    trunk/extensions/concolic/src/jfuzz/termination/NeverTerminate.java
    trunk/extensions/concolic/src/jfuzz/termination/TerminationStrategy.java
    trunk/extensions/concolic/src/jfuzz/termination/TimedTermination.java
    trunk/extensions/concolic/src/jfuzz/termination/UpToFixedNumber.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharMultiArrayPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/CharPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/JPF_gov_nasa_jpf_concolic_tests_TestUtils.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiArgsPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/MultiPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimpleCharArrayPC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/SimplePC.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/tests/TestUtils.java
    trunk/extensions/concolic/test/gov/nasa/jpf/concolic/unitTests/AllTests.java
    trunk/extensions/concolic/test/jfuzz/unitTests/AbstractJFuzzTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/AllTests.java
    trunk/extensions/concolic/test/jfuzz/unitTests/ReadTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/SimpleTest.java
    trunk/extensions/concolic/test/jfuzz/unitTests/SimplifyPCTest.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/BinaryLinearIntegerExpression.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/SymbolicInteger.java

Added Paths:
-----------
    trunk/extensions/concolic/doc/index.css
    trunk/extensions/concolic/doc/jfuzz.png
    trunk/extensions/concolic/doc/userdoc.html
    trunk/extensions/concolic/doc/userdoc.pdf
    trunk/extensions/concolic/lib/emma.jar
    trunk/extensions/concolic/src/jfuzz/cache/
    trunk/extensions/concolic/src/jfuzz/cache/CacheStrategy.java
    trunk/extensions/concolic/src/jfuzz/cache/NameIndependentCache.java
    trunk/extensions/concolic/src/jfuzz/cache/NoCache.java
    trunk/extensions/concolic/src/jfuzz/cache/OneToOneMap.java
    trunk/extensions/concolic/src/jfuzz/nextfile/
    trunk/extensions/concolic/src/jfuzz/nextfile/Coverage.java
    trunk/extensions/concolic/src/jfuzz/nextfile/Newest.java
    trunk/extensions/concolic/src/jfuzz/nextfile/NextFileStrategy.java
    trunk/extensions/concolic/src/jfuzz/nextfile/Oldest.java
    trunk/extensions/concolic/src/jfuzz/nextfile/Random.java
    trunk/extensions/concolic/src/jfuzz/util/
    trunk/extensions/concolic/src/jfuzz/util/Constraints.java
    trunk/extensions/concolic/src/jfuzz/util/MeasureCoverage.java
    trunk/extensions/concolic/src/jfuzz/util/MeasureTiming.java
    trunk/extensions/concolic/src/jfuzz/util/SimplifyPC.java

Removed Paths:
-------------
    trunk/extensions/concolic/ReadMe.html
    trunk/extensions/concolic/src/jfuzz/PathCache.java
    trunk/extensions/concolic/src/jfuzz/SimplifyPC.java


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