Issues

• Reducing YARPGen tests

  mc-imperial/dredd-compiler-testing#15 · Filter by author afd opened on Sep 18, 2024
  2

  

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

  mc-imperial/dredd-compiler-testing#14 · Filter by author JonathanFoo0523 opened on Sep 11, 2024

• Ideas for improving confidence in test case reduction

  mc-imperial/dredd-compiler-testing#13 · Filter by author afd opened on Sep 9, 2024

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

  mc-imperial/dredd-compiler-testing#10 · Filter by author JonathanFoo0523 opened on Aug 23, 2024
  1

• Runner script might open non-existent coverage file

  mc-imperial/dredd-compiler-testing#9 · Filter by author JonathanFoo0523 opened on Aug 15, 2024
  1

  

• Current README instruction lead to build failure when building mutated LLVM

  mc-imperial/dredd-compiler-testing#8 · Filter by author JonathanFoo0523 opened on Jul 30, 2024
  1

• README refers to dredd script that no longer exist

  mc-imperial/dredd-compiler-testing#7 · Filter by author JonathanFoo0523 opened on Jul 25, 2024
  1

• Store timestamps for killed mutants

  mc-imperial/dredd-compiler-testing#5 · Filter by author afd opened on Jul 25, 2024
  1

• Reduce the amount of information stored during testing

  mc-imperial/dredd-compiler-testing#4 · Filter by author afd opened on Jul 25, 2024
  1

  

• Perform reductions that C-Reduce misses

  mc-imperial/dredd-compiler-testing#2 · Filter by author afd opened on Dec 10, 2023

• Apply Dredd to GCC

  mc-imperial/dredd-compiler-testing#1 · Filter by author afd opened on Nov 26, 2023