diff options
| author | Moonchild <moonchild@palemoon.org> | 2020-12-23 19:02:52 +0000 |
|---|---|---|
| committer | Moonchild <moonchild@palemoon.org> | 2020-12-23 19:02:52 +0000 |
| commit | 029bcfe189eae5eebbaf58ccff4e1200dd78b228 (patch) | |
| tree | 1c226a334ea1a88e2d1c6f949c9320eb0c3bff59 /security/nss/automation/saw/chacha20.saw | |
| parent | 149d2ffa779826cb48a381099858e76e4624d471 (diff) | |
| download | uxp-029bcfe189eae5eebbaf58ccff4e1200dd78b228.tar.gz | |
Issue #1693 - Update NSS to 3.59.1.1
This updates to MoonchildProductions/NSS@bd49b2b88 in the repo created for our
consumption of the library.
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)); |