From 0db4a4c30a1d060380e442d46fbf5b22b6de8352 Mon Sep 17 00:00:00 2001 From: Loup Vaillant Date: Mon, 25 Nov 2019 12:26:16 +0100 Subject: [PATCH] Added tests/utils.c to formal-analysis folder This should fix the TIS interpreter. --- tests/formal-analysis.sh | 1 + 1 file changed, 1 insertion(+) 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 -- 2.47.3