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

Test suite minimization #98

Merged

Conversation

Mike-Wazovsky
Copy link
Contributor

Implementation of a minimization algorithm which can be triggered by the argument "--minimization true". After creation of all test cases, it runs minimization which removes some of the tests without losing lines coverage.

add of minimization parameter to kex.ini,
implementation of optimized reportCoverage in Minimization
@AbdullinAM AbdullinAM merged commit 1e16733 into vorpal-research:master Jan 5, 2024
2 checks passed
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