Skip to content

set package index asserts expensive #7503

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

Merged
merged 1 commit into from
Aug 3, 2021
Merged

Conversation

gbaz
Copy link
Collaborator

@gbaz gbaz commented Aug 2, 2021

This changes the PackageIndex in the solver to make certain invariant checks that were previously assert into expensiveAssert which ensures they'll never make it into a production executable. Should significantly (20%?) speed up solver time. Related to #7466

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

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

LGTM

@Mikolaj Mikolaj merged commit 769e4ed into master Aug 3, 2021
@fgaz fgaz deleted the gb/mark-expensive-asserts branch August 4, 2021 17:48
@fgaz
Copy link
Member

fgaz commented Aug 4, 2021

should this be backported? it looks pretty safe and 20% is a lot

@Mikolaj
Copy link
Member

Mikolaj commented Aug 4, 2021

yes, it's very safe, so harm; I'd backport

@fgaz
Copy link
Member

fgaz commented Aug 5, 2021

@Mergifyio backport 3.6

@mergify
Copy link
Contributor

mergify bot commented Aug 5, 2021

Command backport 3.6: success

Backports have been created

fgaz added a commit that referenced this pull request Aug 5, 2021
set package index asserts expensive (backport #7503)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants