updated formal analysis copy script

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 5bdbf67e35a771f36c4191363a42f8857652a701..8b67d463ef9c6d891c0494a8f081299d76177049 100755 (executable)
--- a/tests/formal-analysis.sh
+++ b/tests/formal-analysis.sh
@@ -1,4 +1,11 @@
 #! /bin/sh
 
 mkdir -p formal-analysis
-cp src/* tests/utils.c tests/utils.h tests/test.c tests/vectors.h tests/formal-analysis
+cp src/monocypher.c      \
+   src/monocypher.h      \
+   src/optional/sha512.h \
+   src/optional/sha512.c \
+   tests/utils.h         \
+   tests/test.c          \
+   tests/vectors.h       \
+   tests/formal-analysis