[prev in list] [next in list] [prev in thread] [next in thread] 

List:       avispa-users
Subject:    [Avispa-users] on the OFMC debugging
From:       s0679259 () sms ! ed ! ac ! uk (E Tsalapati)
Date:       2007-07-03 23:24:29
Message-ID: 20070704002429.qsclnc9vby8cgos0 () www ! sms ! ed ! ac ! uk
[Download RAW message or body]

Hi,

When I run the command

--ofmc -sessco

on my hlpsl file

I have the following response:

ofmc: There are not enough numbers in the state fact [PCompT "agent" 
[PVar "64"],PVar "65",PCompT "symmetric_key" [PVar "71"],PCompT 
"public_key" [PVar "72"],PCompT "hash_func" [PVar "68"],PCompT 
"hash_func" [PVar "69"],PCompT "nat" [PVar "70"]

Could you please explain to me what does this mean? Or provide me with 
a relevant reference?

Thank you!
Eleni



[prev in list] [next in list] [prev in thread] [next in thread]