Temporarily changed test to account for disabled default values

ftsrg · Feb 20, 2024 · f9ae8d8 · f9ae8d8
1 parent 71ba6b0
commit f9ae8d8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...mon/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddExpressionTest.java b/...mon/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddExpressionTest.java
@@ -120,7 +120,8 @@ public void exprNodeTest2(){
 
         final Set<Valuation> valuations = MddValuationCollector.collect(rootNode);
 
-        assertEquals(valuations.size(), 2);
+        // TODO This might be 2 if default values are enabled
+        assertEquals(valuations.size(), 3);
 
         final Graph graph = new MddNodeVisualizer(MddExpressionTest::nodeToString).visualize(rootNode);
         try {