Parse in module

Don't review yet.
Yup.

On Thu, Oct 30, 2014 at 4:39 PM, Cosmin Radoi <notifications@github.com>
wrote:

> In kernel/src/test/java/org/kframework/parser/utils/KoreIT.java:
>
> > +import org.apache.commons.io.FileUtils;
> > +import org.junit.Test;
> > +import org.kframework.kil.Definition;
> > +import org.kframework.kil.ProductionReference;
> > +import org.kframework.kil.Sort;
> > +import org.kframework.kil.Sources;
> > +import org.kframework.parser.outer.Outer;
> > +import org.kframework.utils.BaseTestCase;
> > +import org.kframework.utils.errorsystem.ParseFailedException;
> > +import org.kframework.utils.file.JarInfo;
> > +
> > +import java.io.File;
> > +
> > +/**
> > + * Test a the kore definition using the new parser.
> > + * KoreIT has to be run after the distribution has been built (apparently), therefore the name IT at the end.
>
> why does it have to run after the distribution? Is it because
> "/samples/kast/ are not available before?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/1115/files#r19638358>.
>