Skip to content

Conversation

@tautschnig
Copy link
Member

This will help determine whether a failed property appears in a public or private function.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

This will help determine whether a failed property appears in a public
or private function.
@tautschnig tautschnig requested a review from a team as a code owner April 23, 2025 11:04
@carolynzech carolynzech enabled auto-merge April 24, 2025 14:24
@carolynzech carolynzech added this pull request to the merge queue Apr 24, 2025
Merged via the queue into model-checking:main with commit 60aa1dd Apr 24, 2025
26 checks passed
@tautschnig tautschnig deleted the scanner-is_public branch April 24, 2025 20:54
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