From 2357ea74609ad587ce89d7cbb33199209e74546f Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Mon, 12 Feb 2018 21:18:19 +0100
Subject: [PATCH] updated formal analysis copy script

---
 tests/formal-analysis.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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
-- 
2.47.3