Skip to content

Issues: mc-imperial/dredd-compiler-testing

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.

Sign up for GitHub

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

12 Open 0 Closed
12 Open 0 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Reducing YARPGen tests
#15 opened Sep 18, 2024 by afd
@JonathanFoo0523
2
update README of historical-version to checkout specific dredd's commit
#14 opened Sep 11, 2024 by JonathanFoo0523
Ideas for improving confidence in test case reduction
#13 opened Sep 9, 2024 by afd
MutationTree.num_mutations might have been returning the largest mutant IDs
#10 opened Aug 23, 2024 by JonathanFoo0523
1
Runner script might open non-existent coverage file
#9 opened Aug 15, 2024 by JonathanFoo0523
@JonathanFoo0523
1
Current README instruction lead to build failure when building mutated LLVM
#8 opened Jul 30, 2024 by JonathanFoo0523
1
README refers to dredd script that no longer exist
#7 opened Jul 25, 2024 by JonathanFoo0523
1
Store timestamps for killed mutants
#5 opened Jul 25, 2024 by afd
1
Reduce the amount of information stored during testing
#4 opened Jul 25, 2024 by afd
@JonathanFoo0523
1
Auto-Generated File Missing When Targeting LLVMCore, Causing Dredd Mutation Failure
#3 opened Jul 8, 2024 by JonathanFoo0523
1
1
Perform reductions that C-Reduce misses
#2 opened Dec 10, 2023 by afd
2 tasks
Apply Dredd to GCC
#1 opened Nov 26, 2023 by afd
ProTip! Mix and match filters to narrow down what you’re looking for.