Skip to main content

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

Ah, I thought we should use the 2.2.2 tag and I even updated the psf's which then perhaps was a mistake. Can you please put the right thing in there?

Thanks,
- thomas

On 03/07/2010 06:29 PM, Pascal Rapicault wrote:
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...

susan

_______________________________________________
p2-dev mailing list
p2-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/p2-dev

_______________________________________________ p2-dev mailing list p2-dev@xxxxxxxxxxx https://dev.eclipse.org/mailman/listinfo/p2-dev


Back to the top