-
Notifications
You must be signed in to change notification settings - Fork 3
Issues: mc-imperial/dredd
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Incorrect mutation of direct initialization with comma
bug
Something isn't working
#237
opened May 28, 2024 by
JamesLee-Jones
Dredd mutates variables that should have a constant initializer
bug
Something isn't working
#235
opened May 25, 2024 by
JamesLee-Jones
Consider adding multi-threading support for Dredd
enhancement
New feature or request
#232
opened May 24, 2024 by
JamesLee-Jones
Incorrect Behavior in __dredd_enabled_mutation Due to Bit Manipulation on 32-bit Integer Literals
#230
opened May 24, 2024 by
JonathanFoo0523
Add flag to check mutation sources against compile_commands.json
#229
opened May 23, 2024 by
JamesLee-Jones
Dredd includes system headers before headers that must be before system headers
#219
opened Apr 11, 2024 by
JamesLee-Jones
Instruction for building dredd from source doesn't work on Ubuntu 20.04.
#217
opened Jan 25, 2024 by
JonathanFoo0523
Add Support for Applying Mutations Only at Given Mutation IDs
#213
opened Nov 30, 2023 by
JonathanFoo0523
Add documentation for --mutation-info-file and DREDD_MUTANT_TRACKING_FILE
#210
opened Nov 30, 2023 by
afd
Refactor to allow more general mutations
enhancement
New feature or request
#178
opened Oct 31, 2023 by
JamesLee-Jones
ProTip!
Updated in the last three days: updated:>2024-06-03.