Add validation tests for boolean expressions (#1505)

marchof · web-flow · commit 7162917334d9 · 2023-10-03T10:23:10.000+02:00
diff --git a/org.jacoco.core.test.validation.java5/src/org/jacoco/core/test/validation/java5/targets/BooleanExpressionsTarget.java b/org.jacoco.core.test.validation.java5/src/org/jacoco/core/test/validation/java5/targets/BooleanExpressionsTarget.java
@@ -46,6 +46,7 @@ public static void main(String[] args) {
 		if (t() & t()) { // assertFullyCovered(1, 1)
 			nop();
 		}
+		nop(f() & f()); // assertFullyCovered()
 
 		/* 4. Conditional And */
 		if (f() && f()) { // assertPartlyCovered(3, 1)
@@ -60,6 +61,8 @@ public static void main(String[] args) {
 		if (t() && t()) { // assertFullyCovered(2, 2)
 			nop();
 		}
+		nop(f() && f()); // assertPartlyCovered(3, 1)
+		nop(t() && f()); // assertPartlyCovered(2, 2)
 
 		/* 5. Or */
 		if (f() | f()) { // assertFullyCovered(1, 1)
@@ -74,6 +77,7 @@ public static void main(String[] args) {
 		if (t() | t()) { // assertFullyCovered(1, 1)
 			nop();
 		}
+		nop(f() | f()); // assertFullyCovered()
 
 		/* 6. Conditional Or */
 		if (f() || f()) { // assertFullyCovered(2, 2)
@@ -88,6 +92,8 @@ public static void main(String[] args) {
 		if (t() || t()) { // assertPartlyCovered(3, 1)
 			nop();
 		}
+		nop(t() || f()); // assertPartlyCovered(3, 1)
+		nop(f() || f()); // assertPartlyCovered(2, 2)
 
 		/* 7. Exclusive Or */
 		if (f() ^ f()) { // assertFullyCovered(1, 1)
@@ -102,6 +108,7 @@ public static void main(String[] args) {
 		if (t() ^ t()) { // assertFullyCovered(1, 1)
 			nop();
 		}
+		nop(f() ^ f()); // assertFullyCovered()
 
 		/* 8. Conditional Operator */
 		nop(t() ? i1() : i2()); // assertPartlyCovered(1, 1)
