Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[p2-dev] launching with new SAT4J

I have been unable to launch any test suites or a workbench with the new SAT4J in my workspace.
It fails with ClassNotFound on ContradictionException.
If I run it from the target, then it works.

Not sure what's going on here, but thought I'd share this in case anyone else was confused...

susan


Back to the top