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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Sat, 29 March 2014 06:52

Usman Waheed

Messages: 1
Registered: March 2014

Junior Member

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

Report message to a moderator

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

Sat, 19 April 2014 21:44

Stephan Herrmann

Messages: 1853
Registered: July 2009

Senior Member

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

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 07:54:24 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter