]> git.ipfire.org Git - thirdparty/libsolv.git/commit
Add testcases for proof generation
authorMichael Schroeder <mls@suse.de>
Wed, 10 Apr 2024 10:33:17 +0000 (12:33 +0200)
committerMichael Schroeder <mls@suse.de>
Wed, 10 Apr 2024 10:33:17 +0000 (12:33 +0200)
commit9b55a669e747b675de1dc8d619f5363718712c84
treefb37abd99b57d2f1a6bfa0d27b49791a93698ef8
parent8cabc85b5f664901f2135e267bae27976b76e82c
Add testcases for proof generation
test/testcases/proof/pubg1.t [new file with mode: 0644]
test/testcases/proof/pubg2.t [new file with mode: 0644]