forked from TrustworthyComputing/ZeroJava-compiler
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathIfConditions.java
57 lines (45 loc) · 1.16 KB
/
IfConditions.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
class IfConditions {
public static void main(String [] a) {
if (3 < 5) {
System.out.println(1);
}
if (3 <= 5) {
System.out.println(2);
}
if (13 != 15) {
System.out.println(3);
}
if (23 > 1) {
System.out.println(4);
}
if (23 >= 23) {
System.out.println(5);
}
if ((10 < 100) && (3 != 15)) {
System.out.println(6);
} else {
System.out.println(0);
}
if ((10 < 100) && (15 < 3)) {
System.out.println(0);
} else {
System.out.println(7);
}
if ((10 < 100) || (15 < 3)) {
System.out.println(8);
} else {
System.out.println(0);
}
if ((100 < 10) || (15 < 3)) {
System.out.println(0);
} else {
System.out.println(9);
}
if ((100 < 10) || (15 == 15)) {
System.out.println(10);
} else {
System.out.println(0);
}
Prover.answer(0);
}
}