From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Mon, 25 Nov 2019 11:26:16 +0000 (+0100)
Subject: Added tests/utils.c to formal-analysis folder
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=0db4a4c30a1d060380e442d46fbf5b22b6de8352;p=Monocypher.git

Added tests/utils.c to formal-analysis folder

This should fix the TIS interpreter.
---

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 80bc28c..963cef2 100755
--- a/tests/formal-analysis.sh
+++ b/tests/formal-analysis.sh
@@ -6,6 +6,7 @@ cp src/monocypher.c      \
    src/optional/sha512.h \
    src/optional/sha512.c \
    tests/utils.h         \
+   tests/utils.c         \
    tests/test.c          \
    tests/vectors.h       \
    tests/formal-analysis