fixed an assertion

speckdavid · Apr 24, 2024 · 1fdc953 · 1fdc953
1 parent e9f7d72
commit 1fdc953
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc b/src/search/symbolic/plan_reconstruction/sym_solution_registry.cc
@@ -145,7 +145,7 @@ void SymSolutionRegistry::expand_actions(const ReconstructionNode &node) {
 
             // We have sucessfully reconstructed to the initial state
             if (swap_to_bwd_phase(new_node)) {
-                assert(fw_closed->get_start_states() == new_node.get_states());
+                assert(fw_closed->get_start_states() * new_node.get_states() != sym_vars->zeroBDD());
                 BDD middle_state = new_node.get_middle_state(fw_closed->get_start_states());
                 ReconstructionNode bw_node(0, new_node.get_h(),
                                            numeric_limits<int>::max(), middle_state,