Error: type nonce not declared.

Inria-Prosecco / reftls

29 stars 16 forks source link

Closed Kobe972 closed 7 months ago

Kobe972 commented 2 years ago

proverif -lib tls-lib tls13-draft18-only.pv

File "tls13-draft18-only.pv", line 93, characters 10-14: Error: type nonce not declared.

Something seems wrong in the code.

HelloHY commented 12 months ago

I have this issue either!

bruno-blanchet commented 7 months ago

nonce should be random. Fixed.