Rename ecdsa-crucible.saw to ecdsa.saw.

GaloisInc · Jan 27, 2021 · b65ec25 · b65ec25
1 parent ac00719
commit b65ec25
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/examples/ecdsa/ecdsa-crucible.saw → examples/ecdsa/ecdsa.saw b/examples/ecdsa/ecdsa-crucible.saw → examples/ecdsa/ecdsa.saw
diff --git a/intTests/test_ecdsa/test.sh b/intTests/test_ecdsa/test.sh
@@ -4,6 +4,6 @@ set -e
 mkdir -p tmp
 cp -r ../../examples/ecdsa/* tmp
 cd tmp
-${SAW} -j ecdsa.jar ecdsa-crucible.saw
+${SAW} -j ecdsa.jar ecdsa.saw
 cd ..
 rm -r tmp