Skip to content

Revise summary JSON's representation and reduce compiler-crash test cases#12

Open
JonathanFoo0523 wants to merge 38 commits intomainfrom
main-historical
Open

Revise summary JSON's representation and reduce compiler-crash test cases#12
JonathanFoo0523 wants to merge 38 commits intomainfrom
main-historical

Conversation

@JonathanFoo0523
Copy link
Collaborator

Support reduction of test cases that lead to compiler
crashes. Replaces mutant lists with a mutant count to reduce
summary file size. Additionally, timestamps for analysis and
kills are now stored in the summary file. Minor updates to
the README ensure a more robust experiment process.

Fixes #3 , #4 , #5 , #7 , #8

@JonathanFoo0523 JonathanFoo0523 requested a review from afd September 1, 2024 18:25
Ubuntu and others added 25 commits September 20, 2024 18:28
@JonathanFoo0523 JonathanFoo0523 force-pushed the main-historical branch 2 times, most recently from 39af0c0 to 5b5f4e7 Compare September 27, 2024 04:05
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.

Auto-Generated File Missing When Targeting LLVMCore, Causing Dredd Mutation Failure

2 participants