[Javapathfinder-svn] SF.net SVN: javapathfinder:[1019] trunk

[<pcm...@us...>]

Revision: 1019
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1019&view=rev
Author:   pcmehlitz
Date:     2008-09-23 18:27:50 +0000 (Tue, 23 Sep 2008)

Log Message:
-----------
* changed/activated the programmatic Verify.setProperties() API (same functionality as @JPFConfig)

* fixed Config.append()/setProperty() - beware of never using HashMap.get() unless you explicitly
want to avoid default lookup!

* reinstated '-show' command line arg. Nobody (including me) was able to remember the
jpf.report..start=..config.. (which is still there to support complete, reproducible reports)

* moved list property values (like vm.classpath etc.) from using ':' separators to ','
hopefully this will make it more easy to exchange property files between Windows and Unix
(the old ones [;: ] are still supported, but we might drop them to avoid filesystem clashes
and "L<typename>;" problems

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    trunk/test/gov/nasa/jpf/test/TestNonShared.java


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