diff --git a/test/verification/run-tests.sh b/test/verification/run-tests.sh
deleted file mode 100755
index 3d767f55..00000000
--- a/test/verification/run-tests.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/sh
-
-for test_folder in "$@"
-do
-    echo "$test_folder"
-    echo "$test_folder" >> result.txt
-    ~/Git/private/AALTITOAD/Debug/verifier -f $test_folder -q $test_folder/Queries.json -i ".*ignore.*" -m -v 4 -t /dev/null >> result.txt
-    echo "done"
-done
-