From cd0dce31f356c04bd225212f481f7682cd2db56e Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 30 Jul 2004 12:11:05 +0000 Subject: [PATCH] - Minor cleanup. --- src/todo.txt | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index ee13647..6d0adb1 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,5 +1,3 @@ -- Exit code is less than 314; so reporting scenario count must - be done through stdout. - Constraint logic now also has no checks for when a run is done by the intruder (which should be excluded). - Fix constants in intruder knowledge. Auto add single one of each type,