1 files changed, 6 insertions, 0 deletions
diff --git a/TODO b/TODO
index ff11de25..aaf2331f 100644
--- a/TODO
+++ b/TODO
@@ -13,6 +13,12 @@ Really make failure to open a socket a non-fatal error (for 4.1).
 
 DONE: Merge the chapter and the appendix on floating-point math (for 4.1).
 
+Look at code coverage tools, like S2E: https://s2e.epfl.ch/
+
+From Andy: Review the following test cases that they work with make diffout.
+These look suspicious: mmap8k, fmtspcl (the mpfr case), clobber, getlnbuf,
+rtlenmb, profile1, rand (mpfr case).
+
 ------
 
 Code Review: