I'm sorry I was imprecise. I don't need this fixed necessarily. I need the
answer to the specific question I asked: is there a pattern you could write
which this test would match, but would nonetheless express the correctness
of this result?
On Mar 8, 2014 11:14 AM, "Yilong Li" <notifications@github.com> wrote:

> In tests/regression/java-rewrite-engine/smt_model/program.test.out:
>
> > @@ -1,3 +1,3 @@
> >  <k>
> > -    _0!0:Int |-> 1
>
> @andreistefanescu <https://github.com/andreistefanescu> I need your help
> here. Is there any way to modify this test to address Dwight's last
> comment? Or could you somehow rewrite the test?
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/270/files#r10410582>
> .
>