Problem running code with JML2 in Eclipse
- by devoured elysium
I'm having trouble running JML2 in Eclipse. I have the foolowing code:
public class MainClass {
public static void main(String[] args) {
System.out.println(-9.0);
}
//@requires x >= 7.0
public static double getSquare(double x) {
return Math.sqrt(x);
}
}
The error I'm getting is:
Is there anything wrong with the syntax I've used?
Thanks
