Merge pull request #1439 from GaloisInc/bump-argo-submodule · GaloisInc/saw-script@6f70a53

Commit

Merge pull request #1439 from GaloisInc/bump-argo-submodule

chore: bump argo submodule

Andrew Kent authored Aug 31, 2021

2 parents 5035dcc + fffcade commit 6f70a53

+1 −1		.github/workflows/ci.yml
+0 −0		.gitmodules
+3 −1		argo/argo.cabal
+303 −110		argo/src/Argo.hs
+53 −16		argo/src/Argo/DefaultMain.hs
+73 −15		argo/src/Argo/ServerState.hs
+2 −1		file-echo-api/file-echo-api.cabal
+4 −0		file-echo-api/file-echo-api/Main.hs
+3 −0		file-echo-api/mutable-file-echo-api/Main.hs
+91 −0		file-echo-api/src/FileEchoServer.hs
+77 −0		file-echo-api/src/MutableFileEchoServer.hs
+18 −2		python/CHANGELOG.md
+43 −10		python/argo_client/connection.py
+12 −4		python/argo_client/interaction.py
+1 −1		python/setup.py
+375 −54		python/tests/test_file_echo_api.py
+63 −1		python/tests/test_file_echo_interaction.py
+133 −26		python/tests/test_mutable_file_echo_api.py
+0 −61		stack.yaml