Updated to do list.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8033

diff --git a/exp-drd/TODO.txt b/exp-drd/TODO.txt
index e768c3594c4dbc0d07a7a5b6d3c91991b4075dd3..de8992aa2f8b7b256c8768b3608cf08b1a92b547 100644 (file)
--- a/exp-drd/TODO.txt
+++ b/exp-drd/TODO.txt
@@ -38,8 +38,6 @@ Data-race detection algorithm
 
 Testing
 ~~~~~~~
-- More extensive testing of reader/writer locks.
-- Regression test for bitmap manipulation functions.
 - test exp-drd's performance with the SPLASH-2 software, e.g. fft
   (http://www-flash.stanford.edu/apps/SPLASH/) or the PARSEC benchmark
   (http://parsec.cs.princeton.edu/license.htm).
@@ -53,6 +51,7 @@ Documentation
   classes of programs that do not follow a locking discipline
   (e.g. exp-drd/test/matinv.c).
 - Add a note about how much stack is needed for exp-drd itself.
+- Explain how to handle transactions (with regard to locking order).
 
 
 Limitations