how to explore all execution paths

i want to explore all execution paths in function. pseudocode for my idea ``` symbolic_pc = self.se_engine.eval_expr(ExprId("IRDst", 64)) if type(symbolic_pc) != ExprInt: #one to two paths # True se_t = se.clone() se_t.add_constraint(cond) se_t.set_pc(dst_true) explore_paths.add(se_t) # False se_f = se.clone() se_f.add_constraint(cond ^ ExprInt(1, cond.size)) se_f.set_pc(dst_false) explore_paths.add(se_f) return ```