revert symex regression until Appvoyer works

Daniel Kroening · Daniel Kroening · commit 2816b80de503 · 2017-09-13T09:54:21.000+01:00
diff --git a/regression/Makefile b/regression/Makefile
@@ -12,7 +12,6 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
-       symex \
        test-script \
        # Empty last line
 
