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
Usman Waheed is currently offline Usman WaheedFriend
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
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
Stephan Herrmann is currently offline Stephan HerrmannFriend
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
Previous Topic:Remote Debugger Wrong Line
Next Topic:OpenJML: installs, does not work
Goto Forum:
  


Current Time: Tue May 28 07:05:01 GMT 2024

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

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

Back to the top