Issues · mc-imperial/dredd-compiler-testing · GitHub

Labels Milestones New issue

Reducing YARPGen tests

#15

· afd opened

on Sep 18, 2024

update README of historical-version to checkout specific dredd's commit

#14

· JonathanFoo0523 opened

on Sep 11, 2024

Ideas for improving confidence in test case reduction

#13

· afd opened

on Sep 9, 2024

`MutationTree.num_mutations` might have been returning the largest mutant IDs

#10

· JonathanFoo0523 opened

on Aug 23, 2024

Runner script might open non-existent coverage file

#9

· JonathanFoo0523 opened

on Aug 15, 2024

Current README instruction lead to build failure when building mutated LLVM

#8

· JonathanFoo0523 opened

on Jul 30, 2024

README refers to dredd script that no longer exist

#7

· JonathanFoo0523 opened

on Jul 25, 2024

Store timestamps for killed mutants

#5

· afd opened

on Jul 25, 2024

Reduce the amount of information stored during testing

#4

· afd opened

on Jul 25, 2024

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

#3

· JonathanFoo0523 opened

on Jul 8, 2024

Perform reductions that C-Reduce misses

#2

· afd opened

on Dec 10, 2023

Apply Dredd to GCC

#1

· afd opened

on Nov 26, 2023