[Javapathfinder-svn] SF.net SVN: javapathfinder:[1626] branches/mango/Mango

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

Revision: 1626
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1626&view=rev
Author:   frankrimlinger
Date:     2009-06-14 19:28:28 +0000 (Sun, 14 Jun 2009)

Log Message:
-----------
Investigation of the itsAWrap.main invariant bug continues.  Have verified that the context free input state for the invocation of itsAWrap.clear is the same in Mango and MangoJPF.  However, the input state for MangoJPF is slightly confused. If in fact this is causing the problem, then there is a very unhealthy dependence on context in the invariant mechanism that needs to be fixed.  Currently comparing invariant detection success in Mango versus MangoJPF to try and discover exactly when the invariant mechanism gets confused.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/module/msg/DebugInvariantsMsg.java
    branches/mango/Mango/Mango/src/mango/worker/Mango.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/LocalVarConditionalEquivalenceAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/MangoJPF/Mango/src/mango/module/msg/DebugInvariantsMsg.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/form/binder/LocalVarBind.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/InvariantAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/LocalVarConditionalEquivalenceAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/Invocation.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/AbstractUconPlace.java


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