From 4b5aff24e573996df4c595bcae8d4528dd018b04 Mon Sep 17 00:00:00 2001
From: reuk <reuk@users.noreply.github.com>
Date: Wed, 13 Sep 2017 09:44:17 +0100
Subject: [PATCH] Disable symex tests, which are broken on Appveyor

These should be made to pass *before* enabling them.
---
 regression/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/regression/Makefile b/regression/Makefile
index f4d37f8c442..d47df3994cc 100644
--- a/regression/Makefile
+++ b/regression/Makefile
@@ -12,7 +12,6 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
-       symex \
        test-script \
        # Empty last line