Eclipse Community Forums: Java Development Tools (JDT) » Trying to run Open JML in Eclipse

Home » Language IDEs » Java Development Tools (JDT) » Trying to run Open JML in Eclipse(JML)

Trying to run Open JML in Eclipse [message #1279750]

Sat, 29 March 2014 02:52

Eclipse User

I am trying to install JML and was successful after trying various eclipse distributions but I am getting this error: (using eclipse-java-indigo-SR2-win32) the error appears when I use menu: JML > Static Check (ESC) The executeable for prover is not specified - use -exec or define an openjml.prover Please provide some help

Re: Trying to run Open JML in Eclipse [message #1304406 is a reply to message #1279750]

Sat, 19 April 2014 17:44

Eclipse User

JML is not developed at Eclipse.
It seems this reference should get you in contact with the right folks: http://jmlspecs.sourceforge.net/contact.shtml

cheers,
Stephan

Previous Topic:	Remote Debugger Wrong Line
Next Topic:	OpenJML: installs, does not work

Goto Forum:

-=] Back to Top [=-

Current Time: Thu Mar 20 01:04:50 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter