enable symex regression testing

Daniel Kroening · Daniel Kroening · commit 5d2d07bc00a9 · 2017-09-12T13:01:35.000+01:00
diff --git a/regression/Makefile b/regression/Makefile
@@ -12,6 +12,7 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
+       symex \
        test-script \
        # Empty last line
 
