Imported Upstream version 0.6.11
[platform/upstream/libsolv.git] / test / testcases / sat / mm-test.t
1 #
2 # testcase to check enabling/disabling of learnt rules
3 #
4 repo system 0 testtags <inline>
5 #>=Ver: 2.0
6 #>=Pkg: A 1.0 1 noarch
7 #>=Req: D
8 #>=Prv: A = 1.0-1
9 #>=Con: C
10 #>=Pkg: C 1.0 1 noarch
11 #>=Prv: foo
12 #>=Prv: C = 1.0-1
13 #>=Con: D
14 #>=Pkg: D 1.0 1 noarch
15 #>=Prv: D = 1.0-1
16 #>=Pkg: A2 1.0 1 noarch
17 #>=Req: D2
18 #>=Prv: A2 = 1.0-1
19 #>=Con: C2
20 #>=Pkg: C2 1.0 1 noarch
21 #>=Prv: foo
22 #>=Prv: C2 = 1.0-1
23 #>=Con: D2
24 #>=Pkg: D2 1.0 1 noarch
25 #>=Prv: D2 = 1.0-1
26 repo test 0 testtags <inline>
27 #>=Ver: 2.0
28 #>=Pkg: C 2.0 1 noarch
29 #>=Prv: C = 2.0-1
30 #>=Pkg: A 2.0 1 noarch
31 #>=Prv: A = 2.0-1
32 #>=Pkg: D 2.0 1 noarch
33 #>=Prv: D = 2.0-1
34 #>=Pkg: C2 2.0 1 noarch
35 #>=Prv: C2 = 2.0-1
36 #>=Pkg: A2 2.0 1 noarch
37 #>=Prv: A2 = 2.0-1
38 #>=Pkg: D2 2.0 1 noarch
39 #>=Prv: D2 = 2.0-1
40 #>=Pkg: E 2.0 1 noarch
41 #>=Req: foo
42 #>=Prv: E = 2.0-1
43 system unset * system
44 job install provides E
45 job verify all packages
46 result transaction,problems <inline>
47 #>erase D-1.0-1.noarch@system
48 #>erase D2-1.0-1.noarch@system
49 #>problem a3755a16 info package E-2.0-1.noarch requires foo, but none of the providers can be installed
50 #>problem a3755a16 solution 6d40bce1 deljob install provides E
51 #>problem a3755a16 solution c06ed43e erase D-1.0-1.noarch@system
52 #>problem a3755a16 solution c8a04f77 erase D2-1.0-1.noarch@system
53 #>upgrade A-1.0-1.noarch@system A-2.0-1.noarch@test
54 #>upgrade A2-1.0-1.noarch@system A2-2.0-1.noarch@test