reprogrammer / keshmesh

Keshmesh is a static analysis tool for finding and fixing concurrency bug patterns in Java.
http://keshmesh.cs.illinois.edu/
Other
16 stars 5 forks source link

Keshmesh is not compatible with latest FindBugs #44

Open ash2k opened 12 years ago

ash2k commented 12 years ago

I'm trying to install from Eclipse marketplace and getting this error:

Cannot complete the install because of a conflicting dependency.
  Software being installed: edu.illinois.keshmesh 1.0.0.201111231854 (edu.illinois.keshmesh.feature.group 1.0.0.201111231854)
  Software currently installed: FindBugs Feature 2.0.0.20111221 (edu.umd.cs.findbugs.plugin.eclipse.feature.group 2.0.0.20111221)
  Only one of the following can be installed at once: 
    FindBugs Plug-in 2.0.0.201111231854 (edu.umd.cs.findbugs.plugin.eclipse 2.0.0.201111231854)
    FindBugs Plug-in 2.0.0.20111221 (edu.umd.cs.findbugs.plugin.eclipse 2.0.0.20111221)
    edu.umd.cs.findbugs.plugin.eclipse 1.3.9.20090821
  Cannot satisfy dependency:
    From: edu.illinois.keshmesh 1.0.0.201111231854 (edu.illinois.keshmesh.feature.group 1.0.0.201111231854)
    To: edu.umd.cs.findbugs.plugin.eclipse [2.0.0.201111231854]
  Cannot satisfy dependency:
    From: FindBugs Feature 2.0.0.20111221 (edu.umd.cs.findbugs.plugin.eclipse.feature.group 2.0.0.20111221)
    To: edu.umd.cs.findbugs.plugin.eclipse [2.0.0.20111221]
reprogrammer commented 12 years ago

@ash2k Thank you for reporting this problem. Keshmesh relies on a slightly modified version of an older release of FindBugs. FindBugs is a moving target, and Keshmesh currently depends on an older revision of FindBugs 2.0. When you install Keshmesh, it will install FindBugs as well. I suggest that you install Keshmesh on an instance of Eclipse without FindBugs.