[Javapathfinder-svn] SF.net SVN: javapathfinder:[1991] trunk/extensions/complexcoverage

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

Revision: 1991
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1991&view=rev
Author:   staats
Date:     2010-01-25 23:50:17 +0000 (Mon, 25 Jan 2010)

Log Message:
-----------
added separate instrumented/non instrumented versions

Modified Paths:
--------------
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/experiment-configs/binheap-single.txt
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AlarmDetermination10.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc14.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc23.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc5.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltimeterError9.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltitudeAvg1.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/DOICmd8.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeapNode.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PassBelowThreshold13.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerOnConditions6.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerSignalError7.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/RisinEdge11.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WithinHysteresis12.java

Added Paths:
-----------
    trunk/extensions/complexcoverage/bin/tinker-configs/
    trunk/extensions/complexcoverage/bin/tinker-configs/binheap-autopart-64.txt
    trunk/extensions/complexcoverage/bin/tinker-configs/binheap-single.txt
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWConcMainClass_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASWMainClass_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/ASW_REQ2_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AlarmDetermination10_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc14_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc23_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Alt_Calc5_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltimeterError9_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/AltitudeAvg1_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinTree_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/BinomialHeap_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/DOICmd8_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/Docking_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeapNode_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/FibHeap_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PassBelowThreshold13_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerOnConditions6_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/PowerSignalError7_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/RisinEdge11_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TreeMap_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WBS.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/WithinHysteresis12_instrumented.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/asw_instrumented.java


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