Why don't you view it as an opportunity to improve the constructors in the
org.kframework.kil package? Ideally you should be able to build terms
without having to use getters and setters.


On Thu, Apr 10, 2014 at 2:28 PM, Andrei Arusoaie
<notifications@github.com>wrote:

> In
> src/javasources/KTool/test/org/kframework/backend/symbolic/LTLModelCheckerTest.java:
>
> > +        KApp val = KApp.of(KLabelConstant.of("val"), LTLStateKApp, X.shallowCopy());
> > +        Term requires = KApp.of(KLabelConstant.KEQ, val, I.shallowCopy());
> > +
> > +        // attributes
> > +        Attributes attrs = new Attributes();
> > +        attrs.set("ltl", null);
> > +        attrs.set("anywhere", null);
> > +
> > +        // rule
> > +        Rule rule = new Rule(lhs, rhs, context);
> > +        rule.setRequires(requires);
> > +        rule.setEnsures(null);
> > +        rule.setAttributes(attrs);
> > +
> > +        // test input rule
> > +        Assert.assertEquals(rule.toString().trim(), inputRule.trim());
>
> I was hoping not to go through the nightmare of writing the transformed
> rule from scratch, since I don't really have the time to do it.
> @dlucanu <https://github.com/dlucanu> when do you need this merged? If
> you need it very soon then you can use this branch directly. The
> cink-semantics test suite successfully passes all the tests.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/338/files#r11502645>
> .
>