updated todo list

Author: MaximilianAlgehed

quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs

@@ -842,6 +842,9 @@ interleavings (a:as) (b:bs) =
   map (b:) (interleavings (a:as) bs)
 
 -- TODO:
--- - Negative actions (because the actual interleaving might involve legitimate failures
---   even if the linear sequence doesn't)
---   - Check negative postcondition and correct precondition in `checkTrace`
+--  - Decide how much of the old QCD interface we can afford to break
+--  - Refactor normal QCD so that you don't have two implementations
+--  - More than two threads
+--  - More examples
+--  - Clean everything up
+--  - All the statistics and monitoring