From: <pcm...@us...> - 2007-08-24 23:02:56
|
Revision: 535 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=535&view=rev Author: pcmehlitz Date: 2007-08-24 16:02:55 -0700 (Fri, 24 Aug 2007) Log Message: ----------- * the test object set in TSVM wasn't backtrackable, which of course leads to referencing objects which are not there yet. We can't simply create new test objects upon each request because then we have to somehow break endless recursion ("class Throwable { Throwable cause; .. }" ) * for that purpose, added a DynamicArea.getNext(ClassInfo ci, int startIdx) that returns the next instance of the provided class from a given index (can also be used to iterate over all instances of a certain class) still the test object creation is the biggest problem for the TS mode. It remains to be seen how many classes of false positives we can still filter out Modified Paths: -------------- trunk/extensions/symts/src/gov/nasa/jpf/ts/TSVM.java trunk/src/gov/nasa/jpf/jvm/DynamicArea.java trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |