From 30b629909b8d9933e3f6c1101e704494759dad56 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sat, 15 Jul 2006 19:32:15 +0000
Subject: [PATCH] - Added note on --chec- Added note on --checkk

---
 src/todo.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/todo.txt b/src/todo.txt
index 5559a1c..46ccc77 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,3 +1,6 @@
+- --check is slightly f***ed up because there is no good semantics for
+  the --disable intruder check. As a result, it is now too strict can
+  cause correct protocols to fail. Fix.
 - When *not* asking for attack output, maybe we should default to
   --prune = 1. Then, if we ask for --xml output or --dot, we do:
   if --prune == 1 then --prune == 2 now :) unless otherwise specified.