Merge branch 'exec-testcases' into 'master'

Add more tests to ensure correct FIRM construction

See merge request !54

exec/assign_to_boolean.java

+import lib.BooleanUtils;
+
+class Test {
+    public static void main(String[] args) {
+        BooleanUtils bu = new BooleanUtils();
+
+        boolean b1 = 0 == 0;
+        boolean b2 = 0 != 0;
+        boolean b3 = !true;
+        boolean b4 = !!!true == true;
+
+        bu.println(b1);
+        bu.println(b2);
+        bu.println(b3);
+        bu.println(b4);
+
+
+    }
+}
\ No newline at end of file

exec/end_of_file.0.inputc

+

exec/end_of_file.input.java

+class Test {
+    public static void main(String[] args) throws Exception {
+        System.out.println(System.in.read());
+        System.out.println(System.in.read()); /* should return -1 */
+    }
+}

exec/int_min_calculations.java

+class Test {
+    public static void main(String[] args) {
+        int INT_MAX = 2147483647;
+        int INT_MIN = -2147483648;
+
+        System.out.println(INT_MAX + 1);
+        System.out.println(INT_MIN - 1);
+
+        System.out.println(INT_MAX * 2);
+        System.out.println(INT_MIN * 2);
+        System.out.println(INT_MAX * -1);
+        System.out.println(INT_MIN * -1);
+        
+        System.out.println(INT_MAX / 1);
+        System.out.println(INT_MIN / 1);
+        System.out.println(INT_MAX / -1);
+        System.out.println(INT_MIN / -1);
+        System.out.println(INT_MAX / INT_MAX);
+        System.out.println(INT_MIN / INT_MIN);
+        System.out.println(INT_MAX / INT_MIN);
+        System.out.println(INT_MIN / INT_MAX);
+
+        System.out.println(INT_MAX % 1);
+        System.out.println(INT_MIN % 1);
+        System.out.println(INT_MAX % -1);
+        System.out.println(INT_MIN % -1);
+        System.out.println(INT_MAX % INT_MAX);
+        System.out.println(INT_MIN % INT_MIN);
+        System.out.println(INT_MAX % INT_MIN);
+        System.out.println(INT_MIN % INT_MAX);
+    }
+}
\ No newline at end of file

exec/objects_without_fields.java

+import lib.BooleanUtils;
+
+class Test {
+    public static void main(String[] args) {
+        BooleanUtils bu = new BooleanUtils();
+
+        a a = new a();
+        a b = new a();
+
+        bu.println(a == a);
+        bu.println(a != a);
+        bu.println(b == b);
+        bu.println(b != b);
+        bu.println(a == b);
+        bu.println(a != b);
+        bu.println(a == null);
+        bu.println(a != null);
+        bu.println(null == b);
+        bu.println(null != b);
+
+    }
+}
+
+class a {
+
+}
\ No newline at end of file

exec/zero_length_arrays.java

+import lib.BooleanUtils;
+
+class Test {
+    public static void main(String[] args) {
+        BooleanUtils bu = new BooleanUtils();
+
+        int[] a = new int[0];
+        int[] b = new int[0];
+
+        bu.println(a == a);
+        bu.println(a != a);
+        bu.println(b == b);
+        bu.println(b != b);
+        bu.println(a == b);
+        bu.println(a != b);
+        bu.println(a == null);
+        bu.println(a != null);
+        bu.println(null == b);
+        bu.println(null != b);
+
+    }
+}
\ No newline at end of file