Skip to content
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

Improve the replicate_quantified #266

Merged
merged 1 commit into from
Jan 3, 2025
Merged

Improve the replicate_quantified #266

merged 1 commit into from
Jan 3, 2025

Conversation

renatahodovan
Copy link
Owner

The mutator is improved by ensuring to replicate non-empty subtrees only and instead of inserting a single copy, a random number of replicant will be added that still obeys the quantifier restrictions.

@coveralls
Copy link

coveralls commented Jan 3, 2025

Coverage Status

coverage: 83.183% (-0.2%) from 83.374%
when pulling 545297e on repl-impr
into 7c41221 on master.

The mutator is improved by ensuring to replicate non-empty subtrees
only and instead of inserting a single copy, a random number of
replicant will be added that still obeys the quantifier restrictions.
Copy link
Collaborator

@akosthekiss akosthekiss left a comment

Choose a reason for hiding this comment

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

lgtm

@akosthekiss akosthekiss merged commit e1f7954 into master Jan 3, 2025
52 checks passed
@akosthekiss akosthekiss deleted the repl-impr branch January 3, 2025 12:13
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.

3 participants