Dextool Mutate
joakim-brannstrom.github.io
Spec sheet
- Purpose
- Dextool Mutate is a C/C++ mutation testing tool that evaluates whether tests detect artificially injected faults.Read 4 Oct 2026 · joakim-brannstrom.github.io
- License
- The repository's LICENSE file identifies the source code license as Mozilla Public License, version 2.0.Read 4 Oct 2026 · github.com
- Build requirements
- The project README lists LLVM and libclang 14 or later, CMake 3.5 or later, SQLite 3.24 or later, and a D compiler as build requirements.Read 4 Oct 2026 · github.com
- CI integration
- The documentation describes Jenkins usage and says the approach should work with any CI server setup.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Embedded systems
- Users can write a custom analyzer to interpret test output, including results from embedded test setups.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Embedded testing
- For embedded systems, users can write a custom analyzer for test output, including signals for unstable tests.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Incremental runs
- It saves run state in SQLite, allowing interrupted test phases to resume and previous results to be reused as code changes.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Incremental testing
- It saves run state in a SQLite database and can resume interrupted work and reuse results across runs.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Linux installation
- The README links Ubuntu installation instructions and Dockerfiles for Ubuntu and Fedora.Read 4 Oct 2026 · github.com
- Mutation operators
- It supports conventional operators including AOR, ROR, DCC, DCR, LCR, SDL and UOI, as well as removing entire functions or methods.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Parallel execution
- Parallel runs share a SQLite database, and the maker says this approach scales reasonably well up to five instances.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Platform and dependencies
- The project documents Ubuntu installation and lists LLVM/Clang, CMake, SQLite and a D compiler among its build and run dependencies.Read 4 Oct 2026 · github.com
- Project integration
- The tool integrates without requiring modifications to a project's build system.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Project status
- The project README lists the Mutate plugin as production ready.Read 4 Oct 2026 · github.com
- Pull request workflow
- It supports change based testing that runs mutants on changed lines and can produce HTML or JSON reports for a diff.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Pull request workflows
- Change-based testing can focus analysis and tests on changed lines, with HTML or JSON reports for the diff.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Reports
- It can produce console, compiler warning, JSON and HTML reports.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Support and community
- The product page links to a Discord community, and the project README invites users to report issues on GitHub.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Support and maintenance
- The product page directs users to a Discord community, and says the project is maintained by Joakim Brännström.Read 4 Oct 2026 · joakim-brannstrom.github.io
- Test analysis
- It identifies useless, redundant and near test cases to help improve a test suite.Read 4 Oct 2026 · joakim-brannstrom.github.io
Where Specifiction places it
- Mutation Testing Tools#15 of 257.4