]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5056147) | patch
testsolv: Add -P option that displays the proofs of each problem
authorMichael Schroeder <mls@suse.de>
Tue, 29 Nov 2022 15:06:47 +0000 (16:06 +0100)
committerMichael Schroeder <mls@suse.de>
Tue, 29 Nov 2022 15:06:47 +0000 (16:06 +0100)
commit1e7cd39a42901a19d0b0f521a20fd4a67b47b6e9
tree7e5058014a184a5846edcb6da492995d70c7a117tree
parent5056147fa6019c0bc8455b240c739b77b6a9edeacommit | diff
testsolv: Add -P option that displays the proofs of each problem

Learnt rules are not yet printed.

We might want to move the "multipkg" function in the library in
the future.
tools/testsolv.c diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git