[Javapathfinder-svn] SF.net SVN: javapathfinder:[1728] branches/mango/MangoJPF

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

Revision: 1728
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1728&view=rev
Author:   frankrimlinger
Date:     2009-07-07 14:14:47 +0000 (Tue, 07 Jul 2009)

Log Message:
-----------
Fixed some EZ bugs, and now hypo2 test recognizes that ArithmeticException is indeed and Exception, sets the static variable checkpoint2, and returns the answer=0.  At this point, all references to the ArithmeticException, which was created in the present, have vanished, so it should garbage collect.  Unfortunately, it does not.  Investigating.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ACATCHHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWCREATOR.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROWHANDLER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
    branches/mango/MangoJPF/mangoUserHome/frank/rules/rulebase.zip

Added Paths:
-----------
    branches/mango/MangoJPF/mangoUserHome/frank/sessions/extest/hypo2/test()I/a.zip


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