summaryrefslogtreecommitdiffstats
path: root/security/nss/lib/freebl/verified/specs
ModeNameSize
-rw-r--r--Spec.CTR.fst3933logstatsplain
-rw-r--r--Spec.Chacha20.fst5814logstatsplain
-rw-r--r--Spec.Curve25519.fst5542logstatsplain
-rw-r--r--Spec.Poly1305.fst3401logstatsplain