]> git.ipfire.org Git - thirdparty/libsolv.git/commit
make testcases debian proof
authorMichael Schroeder <mls@suse.de>
Wed, 10 Apr 2024 11:08:05 +0000 (13:08 +0200)
committerMichael Schroeder <mls@suse.de>
Wed, 10 Apr 2024 11:08:05 +0000 (13:08 +0200)
commit66c5b02c4b50532be1cec34205a4f4c34ea74caa
tree7b840334c0d0cd1b39ad1a910f9621b947f3cd35
parent9b55a669e747b675de1dc8d619f5363718712c84
make testcases debian proof
test/testcases/proof/pubg1.t
test/testcases/proof/pubg2.t