On 2021-11-16 14:53:15 +0100, Vincent Lefevre wrote:
> I've output debug information with the following two cases, quitting
> after step 6:
> * '+' is used (before 'm');
> * '+' is not used.
>
> The only differences with --log-level=debug (after filtering out
> the prefix of each log line) except a PID difference in the name
> of the temporary file:
[...]
And with --log-level=trace, the first difference changes to:
@@ -2798559,7 +2798559,8 @@
aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for
gcc-sh4-linux-gnu:amd64 4:10.2.1-1 (aptitude::ProblemResolver::OptionalScore).
aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for
gcc-sh4-linux-gnu:i386 4:11.2.0--1 (aptitude::ProblemResolver::OptionalScore).
aptitude_resolver.cc:1762 DEBUG aptitude.resolver.scores - ** Score: +1 for
gcc-sh4-linux-gnu:i386 4:10.2.1-1 (aptitude::ProblemResolver::OptionalScore).
-resolver_manager.cc:581 DEBUG aptitude.resolver.thread - Resolver thread: got
a new job { solution number = 0, max steps = 500000, continuation =
0x5588ba253ed0 }
+resolver_manager.cc:565 TRACE aptitude.resolver.thread - Resolver thread:
waiting for a job.
+resolver_manager.cc:581 DEBUG aptitude.resolver.thread - Resolver thread: got
a new job { solution number = 0, max steps = 500000, continuation =
0x55c4f59b2ed0 }
problemresolver.h:4592 INFO aptitude.resolver.search - Starting a new search.
problemresolver.h:3239 TRACE aptitude.resolver.search - Marking the dependency
why3-coq:amd64 1.3.3-3 -> {coq:amd64 8.12.0-3+b3} as unresolved in step 0
problemresolver.h:2634 TRACE aptitude.resolver.search - Adding the solver
Install(coq:amd64 8.12.0-3+b3 <why3-coq:amd64 1.3.3-3 -> {coq:amd64
8.12.0-3+b3}>) with initial cost (nop)
--
Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
_______________________________________________
Aptitude-devel mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/aptitude-devel
