Strange problem with concretization algorithm.

Terence is selected, but it should not be. This is a bug and should be fixed.
2008-01-10 16:10:21 +01:00 · 2008-01-10 16:10:21 +01:00 · 0e15b7221f
commit 0e15b7221f
parent ce9891d351
1 changed files with 2 additions and 0 deletions
--- a/protocols/misc/tls/tls-paulson-avispa.spdl
+++ b/protocols/misc/tls/tls-paulson-avispa.spdl
@ -15,7 +15,9 @@ secret unkeygen: Function;
 inversekeys(keygen, unkeygen);

 const pa,pb: Params;
+const Alice,Bob: Agent;
 const Terence: Agent;
+const Sally: Agent;
 const false,true: Bool;