|
From: <ne...@us...> - 2009-06-23 18:47:01
|
Revision: 1676
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1676&view=rev
Author: nehas
Date: 2009-06-23 18:46:57 +0000 (Tue, 23 Jun 2009)
Log Message:
-----------
Added a class to run multiple guided execution trials on a single machines. It detects the number of possible abstract traces and iterates through each of the abstract trace to check if that leads to the target locations.
Added a termination criteria, when there are no refinement locations the guided execution exits.
Changed the params txt file for the examples.
Modified Paths:
--------------
trunk/extensions/guidedsymbolic/examples/airline/params.txt
trunk/extensions/guidedsymbolic/examples/reorder/params.txt
trunk/extensions/guidedsymbolic/examples/twostage/params.txt
trunk/extensions/guidedsymbolic/examples/wronglock/params.txt
trunk/extensions/guidedsymbolic/lib/absrefine.jar
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/GuidedDFSearch.java
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/heuristic/MetaHeuristic.java
Added Paths:
-----------
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/
trunk/extensions/guidedsymbolic/src/edu/byu/cs/guided/search/setup/RunGuidedTest.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|