Skip to content

Commit

Permalink
perf: invalidate less contradicted_incompatibilities (pubgrub-rs#170)
Browse files Browse the repository at this point in the history
* Invalidate less contradicted_incompatibilities

* update comments
  • Loading branch information
Eh2406 authored and konstin committed Jan 3, 2024
1 parent 04d1d1b commit a6f1e62
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/internal/core.rs
Original file line number Diff line number Diff line change
Expand Up @@ -227,6 +227,7 @@ impl<P: Package, VS: VersionSet, Priority: Ord + Clone> State<P, VS, Priority> {
) {
self.partial_solution.backtrack(decision_level);
// Remove contradicted incompatibilities that depend on decisions we just backtracked away.
// Remove contradicted incompatibilities that depend on decisions we just backtracked away.
self.contradicted_incompatibilities
.retain(|_, dl| *dl <= decision_level);
if incompat_changed {
Expand Down

0 comments on commit a6f1e62

Please sign in to comment.