Skip to content

Conversation

RasmusWL
Copy link
Member

These queries were great when evaluating coverage of the new call-graph compared with the old.

However, they are not useful to run as part of our DCA experiments.

These queries were great when evaluating coverage of the new call-graph compared with the old.

However, they are not useful to run as part of our DCA experiments.
@RasmusWL RasmusWL requested a review from a team as a code owner December 14, 2023 13:41
@RasmusWL RasmusWL added the no-change-note-required This PR does not need a change note label Dec 14, 2023
Copy link
Contributor

@yoff yoff left a comment

Choose a reason for hiding this comment

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

LGTM

We seem to also have some metrics around the call-graph that are measuring the points-to-based call-graph rather than the type-tracking-based one. But that is a different story.

@yoff yoff merged commit f50817e into github:main Dec 18, 2023
@RasmusWL RasmusWL deleted the fewer-meta-queries branch December 19, 2023 08:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-change-note-required This PR does not need a change note Python
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants