From 3ed59b867a529c1be6c1d51cb49a060c1b65e9bc Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 17 Jan 2006 12:30:16 +0000 Subject: [PATCH] - Added an idea. --- src/todo.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index ecc204a..42f7c46 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,6 @@ +- Test 'sk(x)' in goals, somewhere before assessing a state (dus at the + beginning of iterate), immediately reduce to 'sk(Eve)'. Test with + --experimental. To that end, reintroduce a state-reporting switch. - Scyther mailing list especially for students, this is where they should report any questions, when Erik starts the course. - It is currently not well-defined to define inversekeys within a role: