Feature/generic collection interfaces

**check this out**
Is there a way to specify that a test should not be run in parallel with
other tests? that would also probably solve the issue. But I agree it's not
worth it if the fix isn't that simple.

On Mon, Dec 1, 2014 at 10:38 AM, Cosmin Radoi <notifications@github.com>
wrote:

> In
> k-distribution/src/test/java/org/kframework/kore/convertors/TstKOREtoKILIT.java:
>
> > @@ -71,7 +71,7 @@ public void syntaxWithOR() throws IOException {
> >          outerKILtoKOREtoKILTest();
> >      }
> >
> > -    @Test
> > +    @Test @Ignore
>
> The unit test passes when run by itself, and fails when run in a suite. I
> guess that SDF somehow gets polluted. It would probably require separate
> class loaders (similar to what you did for nailgun) or some other trick to
> make it work, but it is not worth the effort.
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/1217/files#r21100295>.
>