Skip to content

Ignoring function bodies as well for finding qpFields/qpPredicates#605

Merged
marcoeilers merged 2 commits into
masterfrom
meilers_precise_quantified_fields
Sep 2, 2022
Merged

Ignoring function bodies as well for finding qpFields/qpPredicates#605
marcoeilers merged 2 commits into
masterfrom
meilers_precise_quantified_fields

Conversation

@marcoeilers

Copy link
Copy Markdown
Contributor

No description provided.

@jcp19 jcp19 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

We can merge it once the tests go through

@marcoeilers marcoeilers merged commit 9b7d6bc into master Sep 2, 2022
@marcoeilers marcoeilers deleted the meilers_precise_quantified_fields branch September 2, 2022 18:37
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