Skip to content

Commit a60b478

Browse files
msoosclaude
msoos
and
claude
committed
backbone: XOR-skip warning only at verbosity 1
It printed at verbosity 0, which is what the extra threads of a multi-threaded run have, so they wrote into the middle of the main thread's output lines. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 parent dc8a280 commit a60b478

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎src/backbone.cpp‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -275,7 +275,7 @@ bool Solver::backbone_simpl(int64_t orig_max_confl, bool /*cmsgen*/,
275275
// ccnr and cadiback are both only given the clauses, so they cannot see an
276276
// XOR and would compute the backbone of a formula that is not ours
277277
if (!xorclauses.empty() || !gmatrices.empty()) {
278-
verb_print(0, COLRED << "WARNING: BACKBONE SKIPPED, THE SYSTEM CONTAINS XORS"
278+
verb_print(1, COLRED << "WARNING: BACKBONE SKIPPED, THE SYSTEM CONTAINS XORS"
279279
<< " (" << xorclauses.size() << " xor clauses, "
280280
<< gmatrices.size() << " matrices)" << COLDEF);
281281
return okay();

0 commit comments

Comments
 (0)