Possible bug in "for each" construct
aaronngray.lists at googlemail.com
Sun Jun 8 09:01:16 PDT 2008
I am not certain but I believe I may have found a bug in Tamarin's "for each" construct.
I have whittled it down to the following :-
Here's a working example as a script :-
I am hoping its not a bug and I am doing something silly but I cannot see what.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Tamarin-devel