Search results

Dredd mutates identical source files differently in two directories with same compilation database

Status: Open.

#338 In mc-imperial/dredd;

· JonathanFoo0523 opened on Sep 19, 2024

Adding an off by one mutant

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#307 In mc-imperial/dredd;

· JamesLee-Jones opened on Jul 19, 2024

Consider different non-redundant ROR mutants

enhancementNew feature or requestNew feature or request

Status: Open.

#303 In mc-imperial/dredd;

· afd opened on Jul 18, 2024

Generate templated mutator function in C++ program

enhancementNew feature or requestNew feature or request

Status: Open.

#282 In mc-imperial/dredd;

· JonathanFoo0523 opened on Jul 13, 2024

dredd doesn't mutate some CastExpr under --no-mutation-opts option

questionFurther information is requestedFurther information is requested

Status: Open.

#276 In mc-imperial/dredd;

· JonathanFoo0523 opened on Jul 12, 2024

Support extra compiler flags in single file tests

enhancementNew feature or requestNew feature or request

Status: Open.

#252 In mc-imperial/dredd;

· afd opened on Jul 5, 2024

Avoid equivalent mutation to unsigned int

enhancementNew feature or requestNew feature or request

Status: Open.

#240 In mc-imperial/dredd;

· JonathanFoo0523 opened on Jun 19, 2024

Add flag to check mutation sources against compile_commands.json

Status: Open.

#229 In mc-imperial/dredd;

· JamesLee-Jones opened on May 23, 2024

Consider supporting user defined literals

enhancementNew feature or requestNew feature or request

Status: Open.

#223 In mc-imperial/dredd;

· ambergorzynski opened on May 22, 2024

Add Support for Applying Mutations Only at Given Mutation IDs

Status: Open.

#213 In mc-imperial/dredd;

· JonathanFoo0523 opened on Nov 30, 2023

Add a fuzzer_apps ci test

Status: Open.

#194 In mc-imperial/dredd;

· JamesLee-Jones opened on Nov 21, 2023

Refactor to allow more general mutations

enhancementNew feature or requestNew feature or request

Status: Open.

#178 In mc-imperial/dredd;

· JamesLee-Jones opened on Oct 31, 2023