why3/bench/java/expected/MaxIntegerTest.java

/* This file has been extracted from module MaxIntegerTest. */
public class MaxIntegerTest {

  public static int getMaxInteger() {
    
    return Integer.MAX_VALUE;
  }
  
  
}