Update safeguard code, fixes #8383
parent
78b8c365cd
commit
8d92048c8c
|
@ -183,7 +183,7 @@ class Decisions implements \Iterator, \Countable
|
||||||
|
|
||||||
$previousDecision = isset($this->decisionMap[$packageId]) ? $this->decisionMap[$packageId] : null;
|
$previousDecision = isset($this->decisionMap[$packageId]) ? $this->decisionMap[$packageId] : null;
|
||||||
if ($previousDecision != 0) {
|
if ($previousDecision != 0) {
|
||||||
$literalString = $this->pool->literalToString($literal);
|
$literalString = $this->pool->literalToPrettyString($literal, []);
|
||||||
$package = $this->pool->literalToPackage($literal);
|
$package = $this->pool->literalToPackage($literal);
|
||||||
throw new SolverBugException(
|
throw new SolverBugException(
|
||||||
"Trying to decide $literalString on level $level, even though $package was previously decided as ".(int) $previousDecision."."
|
"Trying to decide $literalString on level $level, even though $package was previously decided as ".(int) $previousDecision."."
|
||||||
|
|
Loading…
Reference in New Issue