From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Mon, 12 Feb 2018 20:18:19 +0000 (+0100)
Subject: updated formal analysis copy script
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=2357ea74609ad587ce89d7cbb33199209e74546f;p=Monocypher.git

updated formal analysis copy script
---

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 5bdbf67..8b67d46 100755
--- 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