diff --git a/src/todo.txt b/src/todo.txt index d13af21..5559a1c 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,7 @@ +- 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. + (This should be done after switch checking) - Old version enforced some extra orders: 1. M_0 roles were ordered before any other roles. 2. Local constants order: if a run has a local variable instantiated by