diff options
Diffstat (limited to 'security/nss/automation/saw/chacha20.saw')
| -rw-r--r-- | security/nss/automation/saw/chacha20.saw | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/security/nss/automation/saw/chacha20.saw b/security/nss/automation/saw/chacha20.saw index 92145ab74f..cf98466b2e 100644 --- a/security/nss/automation/saw/chacha20.saw +++ b/security/nss/automation/saw/chacha20.saw @@ -34,7 +34,7 @@ let SpecChaCha20 n = do { }; print "Proving equality for a single block..."; -time (llvm_verify m "Hacl_Chacha20_chacha20" [] (SpecChaCha20 64)); +time (llvm_verify m "Hacl_Chacha20_chacha20_encrypt" [] (SpecChaCha20 64)); print "Proving equality for multiple blocks..."; -time (llvm_verify m "Hacl_Chacha20_chacha20" [] (SpecChaCha20 256)); +time (llvm_verify m "Hacl_Chacha20_chacha20_encrypt" [] (SpecChaCha20 256)); |