fix .result() bug in AES test, fix typo in DES test

GaloisInc · Aug 24, 2021 · 0a5537e · 0a5537e
1 parent c66eced
commit 0a5537e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/cryptol-remote-api/python/tests/cryptol/test_AES.py b/cryptol-remote-api/python/tests/cryptol/test_AES.py
@@ -28,8 +28,8 @@ def test_AES(self):
         decrypted_ct = c.call("aesDecrypt", (ct, key)).result()
         self.assertEqual(pt, decrypted_ct)
 
-        self.assertTrue(c.safe("aesEncrypt"))
-        self.assertTrue(c.safe("aesDecrypt"))
+        self.assertTrue(c.safe("aesEncrypt").result())
+        self.assertTrue(c.safe("aesDecrypt").result())
         self.assertTrue(c.check("AESCorrect").result().success)
         # c.prove("AESCorrect") # probably takes too long for this script...?
 

diff --git a/cryptol-remote-api/python/tests/cryptol/test_DES.py b/cryptol-remote-api/python/tests/cryptol/test_DES.py
@@ -7,7 +7,7 @@
 
 
 class TestDES(unittest.TestCase):
-    def test_SHA256(self):
+    def test_DES(self):
         c = cryptol.connect(verify=False)
         c.load_file(str(Path('tests','cryptol','test-files','examples','DEStest.cry')))