GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-03 21:37:52 +03:00
Code Issues Projects Releases Wiki Activity

Update test_error_recovery.py (#1288)

Browse Source 
disable certificate verification since test suite uses
self signed certs
This commit is contained in:
Andrew Kent 2021-09-21 12:47:37 -07:00 committed by GitHub
parent 8bd61befaa
commit fe5aa6642a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/python/tests/cryptol/test_error_recovery.py
View File

@ -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')))