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,