diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2025-02-20 12:21:42 +0100 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2025-03-06 20:06:40 +0100 |
| commit | 7194a6b39c2aa6f1006630975a1bf4ffc3c9daf2 (patch) | |
| tree | 6da02dee8aae5f908d84de6e67b2d4ea791310f2 /test | |
| parent | 56c14eab8f399497295bb74d551dc49a4a763486 (diff) | |
solver3: refactor: Return inserted Clause in AddWork()
This avoids relying on the inserted clause being at the back
of the clauses vector.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions