Not my point. Fresh worked before in both backends. It should continue to
work in both backends indefinitely. If that means you need to wait until
Traian implements it in Maude to commit this, so be it.


On Fri, May 23, 2014 at 1:20 PM, Andrei Stefanescu <notifications@github.com
> wrote:

> In tests/regression/config.xml:
>
> >    <include file="java-rewrite-engine/config.xml" directory="java-rewrite-engine" />
> >
> >    <!-- Regression Tests -->
> >    <test definition="issue552/issue.k" />
> >    <test definition="issue529/issue.k" />
> >    <test definition="defaultTerms1/issue.k" />
> > +<!-- TODO(Traian) uncomment this test once !X works in Maude
>
> This test is not broken, you can find it above for the java backend;
> @traiansf <https://github.com/traiansf> is going to implement this
> functionality for Maude, and then uncomment the test.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/493/files#r13012302>
> .
>