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 80bc28cb58076d75d741f2c66a39c681ff749d09..963cef24d6984b63e0b2f9f3e406df81af81e528 100755 (executable)
--- 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