]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d05dca) | patch
Treat condition both as positive and negative literal in pool_add_pos_literals_comple...
authorMichael Schroeder <mls@suse.de>
Tue, 18 Apr 2023 09:57:50 +0000 (11:57 +0200)
committerMichael Schroeder <mls@suse.de>
Tue, 18 Apr 2023 09:57:50 +0000 (11:57 +0200)
commit1edb35a3bd9abcede3a200471a4d1868f8054c99
tree53d46f30ef2fcd29db1c61c33cbf7cb7c8afdc0dtree
parent4d05dca3974156faf2f025ca4a82b68904848307commit | diff
Treat condition both as positive and negative literal in pool_add_pos_literals_complex_dep

That's because (A IF B ELSE C) gets rewritten to (A OR ~B) AND (C OR B) and
(A UNLESS B ELSE C) gets rewritten to (A AND ~B) OR (C AND B). In both
cases we have A, B, ~B, C.

This resolves issue #527
src/cplxdeps.c diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git