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

Make sure that you are running with the content from the 2.2.0 branch (and not a tag).

On 2010-03-07, at 12:19 PM, Susan Franklin McCourt wrote:

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...


p2-dev mailing list