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

Fixes #901.
GaloisInc · Nov 25, 2020 · d94084e · d94084e
1 parent ab51ebd
commit d94084e
Showing 1 changed file with 1 addition and 0 deletions.
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