commit of verification long standing branch

We should discuss after you are done with your class. There are several
things that may need be implemented.


On Thu, Jul 31, 2014 at 1:28 AM, Yilong Li <notifications@github.com> wrote:

> In
> src/javasources/KTool/src/org/kframework/backend/java/symbolic/SymbolicRewriter.java:
>
> > @@ -385,7 +390,9 @@ private ConstrainedTerm constructNewSubjectTerm(Rule rule, SymbolicConstraint co
> >                  constraint.substitution(),
> >                  constraint.termContext());
> >          /* eliminate anonymous variables */
> > -        constraint.eliminateAnonymousVariables();
> > +        constraint.eliminateAnonymousVariables(existingVariables);
> > +        // TODO(AndreiS): functions not being evaluated is becoming quite annoying
>
> do you want me to implement this? or are we waiting for Cosmin's
> refactoring? I think you mentioned that at some point?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/764/files#r15627740>.
>