[Javapathfinder-svn] SF.net SVN: javapathfinder:[1377] trunk/extensions/symbc/Readme

[<pc...@us...>]

Revision: 1377
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1377&view=rev
Author:   pcorina
Date:     2009-04-04 02:06:29 +0000 (Sat, 04 Apr 2009)

Log Message:
-----------
added new config option to enable lazy initialization (see [TACAS03] paper on Generalized symbolic execution for model checking and testing by khurshid et al.)
default is off
for now, lazy initialization works only for data structures 9there are problems with lib code and strings)

Modified Paths:
--------------
    trunk/extensions/symbc/Readme


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