Skip to content

Added a clustering comments for the tests with empty path #969

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 10 commits into from
Sep 20, 2022

Conversation

amandelpie
Copy link
Collaborator

Description

I found that UtSymbolicExecutions with empty path could be clustering into Successful and Error clusters too

Fixes #440

@amandelpie amandelpie requested a review from onewhl September 19, 2022 15:13
Copy link
Member

@onewhl onewhl left a comment

Choose a reason for hiding this comment

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

LGTM!

@amandelpie amandelpie enabled auto-merge (squash) September 20, 2022 08:38
@amandelpie amandelpie merged commit 053cdfc into main Sep 20, 2022
@amandelpie amandelpie deleted the amandelpie/path_measure_zero branch September 20, 2022 09:48
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.

Missed cluster comments in part of generated tests for ArraysQuickSort with disabled Fuzzer
2 participants