From af37cf659e467d6cb1d23932e5fd1b3968b79b63 Mon Sep 17 00:00:00 2001
From: Mr-Pine <git@mr-pine.de>
Date: Fri, 5 Apr 2024 02:09:33 +0200
Subject: [PATCH] Messages for `assertTrue`s

---
 .../fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java b/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java
index 10bf37001d8..d29e8d99276 100644
--- a/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java
+++ b/spoon-control-flow/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java
@@ -180,7 +180,7 @@ public void testSwitchImplicitDefault() throws Exception {
 		ControlFlowNode entryNode = pathHelper.findNodeByString(graph, "int b = 0");
 		ControlFlowNode caseNode = pathHelper.findNodeByString(graph, "b = 1");
 		boolean canAvoid = pathHelper.canAvoidNode(entryNode, caseNode);
-		assertTrue(canAvoid);
+		assertTrue(canAvoid, "Path for implicit default case missing");
 	}
 
 	@Test
@@ -190,7 +190,7 @@ public void testMultipleCaseExpressions() throws Exception {
 		ControlFlowPathHelper pathHelper = new ControlFlowPathHelper();
 		ControlFlowNode startNode = pathHelper.findNodeByString(graph, "int b = 0");
 		List<List<ControlFlowNode>> paths = pathHelper.paths(startNode);
-		assertTrue(paths.size() > 2);
+		assertTrue(paths.size() > 2, "Not enough paths. Possibly missing different paths from multiple expressions for a case");
 	}
 
 	//Test some mixed conditions