From f02f90021c255ef3aa578e00758cbc62e7fc82dd Mon Sep 17 00:00:00 2001 From: Julian Andres Klode Date: Mon, 29 Dec 2025 16:47:20 +0100 Subject: solver3: Add a strange assertion I do not know why I don't hit this --- apt-pkg/solver3.cc | 2 ++ 1 file changed, 2 insertions(+) (limited to 'apt-pkg') diff --git a/apt-pkg/solver3.cc b/apt-pkg/solver3.cc index b7ad45f27..9313b433d 100644 --- a/apt-pkg/solver3.cc +++ b/apt-pkg/solver3.cc @@ -343,6 +343,8 @@ bool Solver::Assume(Lit lit, const Clause *reason) bool Solver::Enqueue(Lit lit, const Clause *reason) { + assert(not lit.empty()); + auto &state = (*this)[lit.var()]; auto assignment = lit.sign() ? LiftedBool::False : LiftedBool::True; -- cgit v1.2.3-70-g09d2