Skip to content

Commit

Permalink
chore: bump argo submodule, fixes rpc CI failures
Browse files Browse the repository at this point in the history
  • Loading branch information
Andrew Kent committed Aug 31, 2021
1 parent 0eea2cb commit 0e9a5eb
Show file tree
Hide file tree
Showing 5 changed files with 10 additions and 10 deletions.
8 changes: 4 additions & 4 deletions cryptol-remote-api/python/poetry.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

class TestCplxQ(unittest.TestCase):
def test_CplxQ(self):
c = cryptol.connect(reset_server=True, verify=False)
c = cryptol.connect(verify=False)
c.load_file(str(Path('tests','cryptol','test-files', 'CplxQNewtype.cry')))

forty_two = c.eval("fortyTwo").result()
Expand Down
4 changes: 2 additions & 2 deletions cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py
Original file line number Diff line number Diff line change
Expand Up @@ -223,10 +223,10 @@ def test_reset_with_many_usages_many_connections(self):
self.assertEqual(x_val1, x_val2)
c.reset()

def test_reset_server_with_many_usages_many_connections(self):
def test_server_with_many_usages_many_connections(self):
for i in range(0,100):
time.sleep(.05)
c = cryptol.connect(url=self.url, reset_server=True, verify=False)
c = cryptol.connect(url=self.url, verify=False)
c.load_file(str(Path('tests','cryptol','test-files', 'Foo.cry')))
x_val1 = c.evaluate_expression("x").result()
x_val2 = c.eval("Id::id x").result()
Expand Down
4 changes: 2 additions & 2 deletions cryptol-remote-api/python/tests/cryptol_eval/test_basics.py
Original file line number Diff line number Diff line change
Expand Up @@ -102,10 +102,10 @@ def test_reset_with_many_usages_many_connections(self):
self.assertEqual(res, [BV(size=8,value=0xff), BV(size=8,value=0xff)])
c.reset()

def test_reset_server_with_many_usages_many_connections(self):
def test_server_with_many_usages_many_connections(self):
for i in range(0,100):
time.sleep(.05)
c = cryptol.connect(url=self.url, reset_server=True)
c = cryptol.connect(url=self.url)
res = c.call('f', BV(size=8,value=0xff)).result()
self.assertEqual(res, [BV(size=8,value=0xff), BV(size=8,value=0xff)])

Expand Down

0 comments on commit 0e9a5eb

Please sign in to comment.