Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Add more tracing #55

Merged
merged 11 commits into from
Jul 18, 2024
Merged

Conversation

jjerphan
Copy link
Member

No description provided.

Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
Copy link
Contributor

@baszalmstra baszalmstra left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for this!

You changed a lot of places to display ids instead of the rhings the ids represent. I can understand that this makes debugging some things easier but it also makes following the general flow of the algorithm much harder. Could we maybe show both? The id and the representation of the id?

You inplemented Display in a few places in a way that almost exactly mimics the (derived) Debug trait. Maybe you can use rhat instead?

I think the levels are sometimes quite high. Perhaps consider downgrading some info and debug logs to trace level instead?

src/internal/id.rs Outdated Show resolved Hide resolved
src/solver/cache.rs Outdated Show resolved Hide resolved
src/solver/cache.rs Outdated Show resolved Hide resolved
src/solver/clause.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
jjerphan and others added 6 commits July 18, 2024 12:09
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
@jjerphan jjerphan marked this pull request as ready for review July 18, 2024 12:42
src/internal/id.rs Outdated Show resolved Hide resolved
src/solver/cache.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
src/solver/mod.rs Outdated Show resolved Hide resolved
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>

Co-authored-by: Bas Zalmstra <bas@prefix.dev>
Signed-off-by: Julien Jerphanion <git@jjerphan.xyz>
@baszalmstra baszalmstra merged commit 94169d7 into mamba-org:main Jul 18, 2024
13 checks passed
@jjerphan jjerphan deleted the add-more-tracing branch July 18, 2024 15:16
@baszalmstra baszalmstra mentioned this pull request Jul 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants