Menu
▾
▴
javapathfinder-svn
|
From: <pc...@us...> - 2009-01-27 19:44:17
|
Revision: 1145
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1145&view=rev
Author: pcorina
Date: 2009-01-27 19:44:13 +0000 (Tue, 27 Jan 2009)
Log Message:
-----------
synch with symbc
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <ubn...@us...> - 2009-04-29 23:33:39
|
Revision: 1466
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1466&view=rev
Author: ubnepvpb
Date: 2009-04-29 23:33:38 +0000 (Wed, 29 Apr 2009)
Log Message:
-----------
Add a method Debug.storeMinimalTraceIf() which is the same as Debug.storeTraceIf() except that it finds a shortest test case.
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TraceListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-17 17:20:24
|
Revision: 1528
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1528&view=rev
Author: staats
Date: 2009-05-17 17:20:16 +0000 (Sun, 17 May 2009)
Log Message:
-----------
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-05-29 01:08:08
|
Revision: 1572
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1572&view=rev
Author: staats
Date: 2009-05-29 01:07:55 +0000 (Fri, 29 May 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListener.java
Added Paths:
-----------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/SymbolicSearchListenerRewrite.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 01:12:55
|
Revision: 1672
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1672&view=rev
Author: staats
Date: 2009-06-23 00:36:39 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/DebugListenerInterface.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/GenericTestSuiteListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.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/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 01:12:56
|
Revision: 1673
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1673&view=rev
Author: staats
Date: 2009-06-23 00:39:25 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Removed Paths:
-------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestCase.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuiteNew.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-23 02:04:36
|
Revision: 1675
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1675&view=rev
Author: staats
Date: 2009-06-23 02:03:33 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFManager.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-26 01:14:34
|
Revision: 1691
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1691&view=rev
Author: staats
Date: 2009-06-26 00:40:46 +0000 (Fri, 26 Jun 2009)
Log Message:
-----------
Added backtracking to concretization
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/TestSuite.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/ConcretizeVariables.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-06-30 07:09:16
|
Revision: 1702
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1702&view=rev
Author: staats
Date: 2009-06-30 07:07:58 +0000 (Tue, 30 Jun 2009)
Log Message:
-----------
fixed minor bugs
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/evaluation/EvaluateParallelGeneration.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/heuristic/RandomizedSymbolicSearch.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2009-07-01 17:18:47
|
Revision: 1709
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1709&view=rev
Author: staats
Date: 2009-07-01 17:18:35 +0000 (Wed, 01 Jul 2009)
Log Message:
-----------
fixing multi-core test gen
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/LocalJPFListener.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTracker.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/MCDCTrackerRemote.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/ReceiveRemoteOutput.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/parallel/StartJPFManager.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <st...@us...> - 2010-01-10 02:27:17
|
Revision: 1936
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1936&view=rev
Author: staats
Date: 2010-01-10 02:27:09 +0000 (Sun, 10 Jan 2010)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/choice/SymbolicChoiceGenerator.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
Thanks for helping keep SourceForge clean.
X