Code

Update test_error_recovery.py#1288

Code

Merged

pnwamk merged 1 commit intomasterGaloisInc/cryptol:masterfrom rpc-no-verify-cert-in-testGaloisInc/cryptol:rpc-no-verify-cert-in-testCopy head branch name to clipboardSep 21, 2021

+1-1

Commits

Commits on Sep 21, 2021

• Update test_error_recovery.py

  Show description for bb894c1
  

  Andrew Kent

  authored
  bb894c1