GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-27 11:13:48 +03:00
Code Issues Projects Releases Wiki Activity

Bump Argo submodule for HTTP support; update command lines

Browse Source
This commit is contained in:
Andrew Kent 2020-11-13 11:04:56 -08:00
parent 9c37515ff6
commit 0450cb8f83
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol-remote-api/test-scripts/cryptol-api_test.py
View File

@ -8,7 +8,7 @@ from BitVector import *
dir_path = os.path.dirname(os.path.realpath(__file__))
c = cryptol.connect("cabal new-exec --verbose=0 cryptol-remote-api")
c = cryptol.connect("cabal new-exec --verbose=0 cryptol-remote-api -- socket")
c.change_directory(dir_path)

6
cryptol-remote-api/test-scripts/cryptol-tests.py
View File

@ -164,11 +164,11 @@ def low_level_api_test(c):
c1 = argo.ServerConnection(
cryptol.CryptolDynamicSocketProcess(
"cabal v2-exec cryptol-remote-api --verbose=0",
"cabal v2-exec cryptol-remote-api --verbose=0 -- socket",
cryptol_path=cryptol_path))
c2 = argo.ServerConnection(
cryptol.CryptolStdIOProcess(
"cabal v2-exec cryptol-remote-api --verbose=0 -- --stdio",
"cabal v2-exec cryptol-remote-api --verbose=0 -- stdio",
cryptol_path=cryptol_path))
low_level_api_test(c1)
@ -178,7 +178,7 @@ env = os.environ.copy()
env['CRYPTOLPATH'] = cryptol_path
p = subprocess.Popen(
["cabal", "v2-exec", "cryptol-remote-api", "--verbose=0", "--", "--port", "50005"],
["cabal", "v2-exec", "cryptol-remote-api", "--verbose=0", "--", "socket", "--port", "50005"],
stdout=subprocess.DEVNULL,
stdin=subprocess.DEVNULL,
stderr=subprocess.DEVNULL,

2
deps/argo vendored

@ -1 +1 @@
Subproject commit ca97f5ab5413238da061ab076ccfb5895cb56ae4
Subproject commit 32f5cc47b394a84b122868b90a9d118823a5fc9f