NotificationsYou must be signed in to change notification settings
Fork45
Star142

Added an approach to differ tests produced by Fuzzer and SymbolicExecutor #581#583

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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Jump to bottom

Merged

amandelpie merged 6 commits intomainfromamandelpie/feature_581

Jul 26, 2022

Merged

Added an approach to differ tests produced by Fuzzer and SymbolicExecutor #581#583

amandelpie merged 6 commits intomainfromamandelpie/feature_581

Jul 26, 2022

Conversation

Copy link

Collaborator

amandelpie commentedJul 25, 2022•
edited
Loading

Description

This PR adds the ability to differ tests produced by Fuzzer and SymbolicExecutor.
It also improves filtration of executions to be used for summaries generation.

Fixes#581

Type of Change

New feature (non-breaking change which adds functionality)

How Has This Been Tested?

No new tests and no new behavior to be tested.

Checklist (remove irrelevant options):

This is the author self-check list

The change followed the style guidelines of the UTBot project
Self-review of the code is passed
The change contains enough commentaries, particularly in hard-to-understand areas
New documentation is provided or existed one is altered
No new warnings
New tests have been added
All tests pass locally with my changes