aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODOs.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/TODOs.md b/TODOs.md
index a82483a..f31fa47 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -43,6 +43,7 @@ Tools references:
- [sanitizers] from clang
- [LibFuzzer], also from clang
- [clang-tidy]
+- [Milu], mutation testing
Links I found useful:
- <https://developers.redhat.com/blog/2014/10/16/gcc-undefined-behavior-sanitizer-ubsan>
@@ -52,6 +53,7 @@ Links I found useful:
[sanitizers]: https://clang.llvm.org/docs/
[LibFuzzer]: https://llvm.org/docs/LibFuzzer.html
[clang-tidy]: https://clang.llvm.org/extra/clang-tidy/
+[Milu]: https://github.com/yuejia/Milu
## DONE Embed `src/unit-test.{c,h}` into `src/gistatic.c` {#task-ae96e5b6-ab04-3a3d-1777-b28031273a19}
- DONE in 2021-07-31