[Javapathfinder-svn] SF.net SVN: javapathfinder:[1259] branches/mango/extensions/mango/local/ franklocal

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

Revision: 1259
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1259&view=rev
Author:   frankrimlinger
Date:     2009-03-07 00:31:27 +0000 (Sat, 07 Mar 2009)

Log Message:
-----------
Finished loop_with_if, could not reproduce linear arithmetic problem.

Modified Paths:
--------------
    branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/extensions/mango/local/franklocal/sessions/baseline/loop_with_if/main([I)Z/length of the Array 'x' is greater than or equal to 10.zip


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