[Javapathfinder-svn] SF.net SVN: javapathfinder:[1676] trunk/extensions/guidedsymbolic

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

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.