issues
search
mc-imperial
/
dredd-compiler-testing
Scripts to allow the Dredd mutation testing framework to be used for compiler testing
Apache License 2.0
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ideas for improving confidence in test case reduction
#13
afd
opened
4 hours ago
0
Revise summary JSON's representation and reduce compiler-crash test cases
#12
JonathanFoo0523
opened
1 week ago
0
Support the reduction of compiler crashes.
#11
afd
closed
1 week ago
0
`MutationTree.num_mutations` might have been returning the largest mutant IDs
#10
JonathanFoo0523
opened
2 weeks ago
1
Runner script might open non-existent coverage file
#9
JonathanFoo0523
opened
3 weeks ago
1
Current README instruction lead to build failure when building mutated LLVM
#8
JonathanFoo0523
opened
1 month ago
1
README refers to dredd script that no longer exist
#7
JonathanFoo0523
opened
1 month ago
1
Notes on planned changes.
#6
afd
opened
1 month ago
0
Store timestamps for killed mutants
#5
afd
opened
1 month ago
1
Reduce the amount of information stored during testing
#4
afd
opened
1 month ago
1
Auto-Generated File Missing When Targeting LLVMCore, Causing Dredd Mutation Failure
#3
JonathanFoo0523
opened
2 months ago
1
Perform reductions that C-Reduce misses
#2
afd
opened
9 months ago
0
Apply Dredd to GCC
#1
afd
opened
9 months ago
0