From fe5aa6642a276cf08208fc4d9c051ba08f8a24b1 Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Tue, 21 Sep 2021 12:47:37 -0700 Subject: [PATCH] Update test_error_recovery.py (#1288) disable certificate verification since test suite uses self signed certs --- cryptol-remote-api/python/tests/cryptol/test_error_recovery.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py b/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py index 631cc03e..228c89fd 100644 --- a/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py +++ b/cryptol-remote-api/python/tests/cryptol/test_error_recovery.py @@ -9,7 +9,7 @@ from cryptol.bitvector import BV class TestErrorRecovery(unittest.TestCase): def test_ErrorRecovery(self): - c = cryptol.sync.connect() + c = cryptol.sync.connect(verify=False) with self.assertRaises(ArgoException): c.load_file(str(Path('tests','cryptol','test-files','bad.cry')))