[Avispa-users] Re: Attack no longer found by CL-AtSe with modified model

[Gavin Keighren]

Just to update interested parties,

I found that the problem disappeared when I used the -ns option to 
CL-AtSe.


I have attached an example file where a particular attack is found when 
the -ns option is used, and not found when it is not.


Gavin Keighren

-------------- next part --------------
A non-text attachment was scrubbed...
Name: example.hlpsl
Type: application/octet-stream
Size: 2442 bytes
Desc: not available
Url : http://carroll.ai.dist.unige.it/pipermail/avispa-users/attachments/20060630/1af35a22/example-0001.obj