From dd7dbf58517b3213ec6d793f7a0ebed8de990177 Mon Sep 17 00:00:00 2001 From: Eric Mertens Date: Wed, 18 Dec 2024 17:15:45 -0800 Subject: [PATCH] update fingerprint in test case --- cryptol-remote-api/python/tests/cryptol/test_filedeps.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cryptol-remote-api/python/tests/cryptol/test_filedeps.py b/cryptol-remote-api/python/tests/cryptol/test_filedeps.py index ddd66387e..0bd36436f 100644 --- a/cryptol-remote-api/python/tests/cryptol/test_filedeps.py +++ b/cryptol-remote-api/python/tests/cryptol/test_filedeps.py @@ -10,7 +10,7 @@ def test_FileDeps(self) -> None: connect(verify=False) path = str(Path('tests','cryptol','test-files','Id.cry')) result = file_deps(path,True) - self.assertEqual(result['fingerprint'],"8A49C6A461AF276DF56C4FE4279BCFC51D891214") + self.assertEqual(result['fingerprint'],"8316fb4e38d33ec3b9f89d355597c058b2e4baf653bf18dc4ead7e166a8a32f8") self.assertEqual(result['foreign'],[]) self.assertEqual(result['imports'],['Cryptol']) self.assertEqual(result['includes'],[])