diff options
| author | Julian Andres Klode <jak@debian.org> | 2025-12-29 16:47:20 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2026-01-05 21:20:24 +0000 |
| commit | f02f90021c255ef3aa578e00758cbc62e7fc82dd (patch) | |
| tree | 4ed410eef782a0ff023062aa6aa18b5f1a43ae46 | |
| parent | f8dd5ea23c6a7fccf643329c50ae1f11f48b1a09 (diff) | |
solver3: Add a strange assertion
I do not know why I don't hit this
| -rw-r--r-- | apt-pkg/solver3.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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; |