Corrected formal analysis setup script

The script did not create the right directory, so the files didn't copy
properly.

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 8b67d463ef9c6d891c0494a8f081299d76177049..80bc28cb58076d75d741f2c66a39c681ff749d09 100755 (executable)
--- a/tests/formal-analysis.sh
+++ b/tests/formal-analysis.sh
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-mkdir -p formal-analysis
+mkdir -p tests/formal-analysis
 cp src/monocypher.c      \
    src/monocypher.h      \
    src/optional/sha512.h \