File: divisionTest.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

file content (8 lines) | stat: -rw-r--r-- 126 bytes

import java.util.*;

class divisionTest {

    public static void division() {
        System.out.println(1 / (2.0));
    }
}