GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-29 10:53:31 +03:00
Code Issues Projects Releases Wiki Activity

update evaluate_expression call in test-cryptol-remote-api.py

Browse Source
This commit is contained in:
Matthew Yacavone 2021-04-23 14:02:29 -04:00
parent 8528e1dbf3
commit 9572ddbbf4
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").result()['value'] == 2
assert c.evaluate_expression("1+1") == 2