Add ecdsa-crucible.saw to the ecdsa integration test.

Brian Huffman · Brian Huffman · commit 69bf9332cbb0 · 2020-11-24T08:56:31.000-08:00
Fixes #901.
diff --git a/intTests/test_ecdsa/test.sh b/intTests/test_ecdsa/test.sh
@@ -5,5 +5,6 @@ mkdir -p tmp
 cp -r ../../examples/ecdsa/* tmp
 cd tmp
 ${SAW} -j ecdsa.jar ecdsa.saw
+${SAW} -j ecdsa.jar ecdsa-crucible.saw
 cd ..
 rm -r tmp
