1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
|
#!/bin/sh
set -e
TESTDIR="$(readlink -f "$(dirname "$0")")"
. "$TESTDIR/framework"
setupenvironment
configarchitecture 'amd64'
insertinstalledpackage 'apport' 'all' '3'
insertpackage 'unstable' 'x' 'all' '3' 'Depends: a | b'
insertpackage 'unstable' 'y' 'all' '3' 'Depends: b | a'
insertpackage 'unstable' 'a' 'all' '3' 'Depends: c'
insertpackage 'unstable' 'b' 'all' '3' 'Source: src'
insertpackage 'unstable' 'c' 'all' '3' 'Source: src'
insertpackage 'unstable' 'unrelated' 'all' '3'
setupaptarchive
rm rootdir/etc/apt/apt.conf.d/disable-solver3-context
mkdir rootdir/var/log/apt
msgmsg "Test 'worse result'"
testsuccess aptget install y x --solver internal -s -o Dir::Apport=var/crash
testsuccess sed -i "s/^Date:.*/Date: Sun Mar 9 00:08:41 2025/" rootdir/var/crash/apt-edsp.$(id -u).crash
testsuccessequal "ProblemType: AptSolver
Architecture: amd64
Date: Sun Mar 9 00:08:41 2025
Package: apt
Title: Failure: The 3.0 solver produced a worse result
SourcePackage: apt
AptSolverDump:
$(cat rootdir/var/log/apt/edsp.log.zst | base64 | sed 's#^# #')" cat rootdir/var/crash/apt-edsp.$(id -u).crash
testsuccessequal "Request: EDSP 0.5
Architecture: amd64
Architectures: amd64
Machine-ID: 912e43bd1c1d4ba481f9f8ccab25f9ee
Install: x:amd64 y:amd64
Solver: internal
Package: a
Architecture: all
Version: 3
APT-ID: 2
Source: a
Source-Version: 3
Priority: optional
Section: other
Size: 42
APT-Release:
a=unstable,n=sid,c=main,b=all
APT-Pin: 500
APT-Candidate: yes
Depends: c
Package: b
Architecture: all
Version: 3
APT-ID: 3
Source: src
Source-Version: 3
Priority: optional
Section: other
Size: 42
APT-Release:
a=unstable,n=sid,c=main,b=all
APT-Pin: 500
APT-Candidate: yes
Package: c
Architecture: all
Version: 3
APT-ID: 4
Source: src
Source-Version: 3
Priority: optional
Section: other
Size: 42
APT-Release:
a=unstable,n=sid,c=main,b=all
APT-Pin: 500
APT-Candidate: yes
Package: x
Architecture: all
Version: 3
APT-ID: 0
Source: x
Source-Version: 3
Priority: optional
Section: other
Size: 42
APT-Release:
a=unstable,n=sid,c=main,b=all
APT-Pin: 500
APT-Candidate: yes
Depends: a | b
Package: y
Architecture: all
Version: 3
APT-ID: 1
Source: y
Source-Version: 3
Priority: optional
Section: other
Size: 42
APT-Release:
a=unstable,n=sid,c=main,b=all
APT-Pin: 500
APT-Candidate: yes
Depends: b | a
Package: apport
Architecture: all
Version: 3
APT-ID: 6
Source: apport
Source-Version: 3
Priority: optional
Section: other
Installed: yes
APT-Pin: 100
APT-Candidate: yes
" apthelper cat-file rootdir/var/log/apt/edsp.log.zst
msgmsg "Test that solver 3.0 explanations are shown"
testfailureequal "Reading package lists...
Building dependency tree...
Package 'c' is not installed, so not removed
Solving dependencies...
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
a : Depends: c but it is not going to be installed
E: Unable to correct problems, you have held broken packages.
E: The following information from --solver 3.0 may provide additional context:
Unable to satisfy dependencies. Reached two conflicting assignments:
1. a:amd64=3 is selected for install
2. a:amd64 Depends c
but none of the choices are installable:
- c:amd64 is not selected for install" apt install -s a c- --solver internal
msgmsg "Test for 'did not find a result'"
rm rootdir/var/crash/apt-edsp.$(id -u).crash
testsuccessequal "Reading package lists...
Building dependency tree...
Solving dependencies...
Writing error report...
The following additional packages will be installed:
c
The following NEW packages will be installed:
a c
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Inst c (3 unstable [all])
Inst a (3 unstable [all])
Conf c (3 unstable [all])
Conf a (3 unstable [all])" aptget install a --solver internal -s -o Dir::Apport=var/crash -o APT::Solver::Install=false
testsuccess sed -i "s/^Date:.*/Date: Sun Mar 9 00:08:41 2025/" rootdir/var/crash/apt-edsp.$(id -u).crash
testsuccessequal "ProblemType: AptSolver
Architecture: amd64
Date: Sun Mar 9 00:08:41 2025
Package: apt
Title: Failure: The 3.0 solver did not find a result
SourcePackage: apt
ErrorMessage:
Unable to satisfy dependencies. Reached two conflicting assignments:
1. a:amd64=3 is selected for install
.
2. a:amd64 Depends c
but none of the choices are installable:
- c:amd64 is not selected for install
AptSolverDump:
$(cat rootdir/var/log/apt/edsp.log.zst | base64 | sed 's#^# #')" cat rootdir/var/crash/apt-edsp.$(id -u).crash
|
