tests fixed

Tractables · Nov 25, 2024 · 56a8d05 · 56a8d05
1 parent 03ac4c9
commit 56a8d05
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/inference/pr_test.jl b/test/inference/pr_test.jl
@@ -93,8 +93,8 @@ end
     @test debug_info_ref[].num_nodes == 196604
 
     pr(x, algo=Cudd(CUDD.CUDD_REORDER_SIFT, debug_info_ref))
-    @test debug_info_ref[].num_nodes == 160
+    @test debug_info_ref[].num_nodes == 1500
 
     pr(x, algo=Cudd(CUDD.CUDD_REORDER_WINDOW2, debug_info_ref))
-    @test debug_info_ref[].num_nodes == 129820
+    @test debug_info_ref[].num_nodes == 196860
 end