- Notifications
You must be signed in to change notification settings - Fork45
Minimize UtExecution number produced by fuzzing and collect coverage statistics#465
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
Uh oh!
There was an error while loading.Please reload this page.
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
I suggest to add some comments to public API ofTrie class, because for me some return values (e.g., fromremove andget) are not obvious.
Also, I expect (maybe wrongly), that remove from theTrie removes only one entry of the same string, but the following test fails:
@TestfuntestSearchingAfterDeletion() {val trie= stringTrieOf("abc","abc","abcde") assertEquals(3, trie.toList().size)val removed1= trie.remove("abc") assertNotNull(removed1)val find= trie.get("abc") assertNotNull(find)val removed2= trie.remove("abc") assertNotNull(removed2) }
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
Uh oh!
There was an error while loading.Please reload this page.
Description
The coverage statistic should be collected to improve fuzzing. To store the result of concrete execution atrie is used. For every coverage trace the total number of the same traces available to further analysis. Also, fuzzing now doesn't generate UtExecution with same coverage trace which increases a performance a bit, because fuzzing can generate a zillion combinations.
Type of Change
Please delete options that are not relevant.
How Has This Been Tested?
Automated Testing
org.utbot.framework.plugin.api.TrieTest
Checklist (remove irrelevant options):