Add ecdsa-crucible.saw to integration tests.#932

Merged

brianhuffman merged 2 commits intomasterfrom test-ecdsa-crucible

Nov 25, 2020

+4-3

Commits on Nov 25, 2020

Adapt ecdsa-crucible.saw to PR #910 "structured-names".
Brian Huffman
committed
Add ecdsa-crucible.saw to the ecdsa integration test.
Brian Huffman
committed