[Javapathfinder-svn] SF.net SVN: javapathfinder:[1342] branches/mango/Mango/local/frank/input

[<fra...@us...>]

Revision: 1342
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1342&view=rev
Author:   frankrimlinger
Date:     2009-03-27 16:25:47 +0000 (Fri, 27 Mar 2009)

Log Message:
-----------
checkin of my input subproject, which tests various aspects of the mango mechanism.  These tests are by no means complete, and will grow over time, especially in the area of invariant detection, which is the primary weakness of the current tool.

This concludes the deployment of the local data within the Mango project. It remains to rewrite the broken code so that it guides the user to the appropriate local directory for rules, sessions and input, in a robust manner.

Added Paths:
-----------
    branches/mango/Mango/local/frank/input/.classpath
    branches/mango/Mango/local/frank/input/.project
    branches/mango/Mango/local/frank/input/build


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