GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-28 18:32:07 +03:00
Code Issues Projects Releases Wiki Activity

whoops, added back result() to test-cryptol-remote-api.py

Browse Source
This commit is contained in:
Matthew Yacavone 2021-04-23 14:54:36 -04:00
parent 9572ddbbf4
commit 90baa856f2
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/test-cryptol-remote-api.py
View File

@ -14,4 +14,4 @@ else:
raise Exception('specify socket or http for connection type')
c.load_module('Cryptol')
assert c.evaluate_expression("1+1") == 2
assert c.evaluate_expression("1+1").result() == 2