- Note regarding pruning.

2006-07-06 15:55:43 +00:00 · 2006-07-06 15:55:43 +00:00 · 7409a38d12
commit 7409a38d12
parent dcb1625c3a
1 changed files with 4 additions and 0 deletions
--- 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