Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
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 06:52 Go to next message
Eclipse UserFriend
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 21:44 Go to previous message
Eclipse UserFriend
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:
  


Current Time: Mon Feb 10 13:14:13 GMT 2025

Powered by FUDForum. Page generated in 0.02622 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top