diff --git a/test/inference/pr_test.jl b/test/inference/pr_test.jl index b4317da8..7b4e67f7 100644 --- 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