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

[<st...@us...>]

Revision: 995
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=995&view=rev
Author:   staats
Date:     2008-09-02 05:25:34 +0000 (Tue, 02 Sep 2008)

Log Message:
-----------
Initial check-in of ComplexCoverage extension

Modified Paths:
--------------
    trunk/.classpath

Added Paths:
-----------
    trunk/extensions/complexcoverage/src/gov/
    trunk/extensions/complexcoverage/src/gov/nasa/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_crisys_jpf_Debug.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/SymbolicChoiceGenerator.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/TaggedBooleanChoiceGenerator.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/TaggedIntChoiceGenerator.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MCDCCoveragePrinter.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/MeasureTestSuiteByMCDCListener.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDC.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/mcdc/ReduceTestSuiteByMCDCListener.java
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Measure Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Reduce.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Run Reduced.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2 Symbolic.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun2.launch
    trunk/extensions/complexcoverage/test/gov/
    trunk/extensions/complexcoverage/test/gov/nasa/
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Docking.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/SimpleExampleWDebug.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile2.java

Removed Paths:
-------------
    trunk/extensions/complexcoverage/src/test.txt


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