chrisr-diffblue
diff --git a/‎appveyor.yml
-10 b/‎appveyor.yml
-10
diff --git a/‎regression/Makefile
-2 b/‎regression/Makefile
-2
diff --git a/‎regression/goto-cc-symex/Makefile
-32 b/‎regression/goto-cc-symex/Makefile
-32
diff --git a/‎regression/goto-cc-symex/chain.sh
-12 b/‎regression/goto-cc-symex/chain.sh
-12
diff --git a/‎regression/goto-cc-symex/regenerate-entry-function/main.c
-16 b/‎regression/goto-cc-symex/regenerate-entry-function/main.c
-16
diff --git a/‎regression/goto-cc-symex/regenerate-entry-function/test.desc
-8 b/‎regression/goto-cc-symex/regenerate-entry-function/test.desc
-8
diff --git a/‎regression/symex-infeasibility/Makefile
-19 b/‎regression/symex-infeasibility/Makefile
-19
diff --git a/‎regression/symex-infeasibility/bst-safe/main.c
-101 b/‎regression/symex-infeasibility/bst-safe/main.c
-101
diff --git a/‎regression/symex-infeasibility/bst-safe/test.desc
-8 b/‎regression/symex-infeasibility/bst-safe/test.desc
-8
diff --git a/‎regression/symex-infeasibility/concrete-sum-unsafe/main.c
-18 b/‎regression/symex-infeasibility/concrete-sum-unsafe/main.c
-18
diff --git a/‎regression/symex-infeasibility/concrete-sum-unsafe/test.desc
-6 b/‎regression/symex-infeasibility/concrete-sum-unsafe/test.desc
-6
diff --git a/‎regression/symex-infeasibility/concrete-sum/concrete-sum-unsafe.c
-16 b/‎regression/symex-infeasibility/concrete-sum/concrete-sum-unsafe.c
-16
diff --git a/‎regression/symex-infeasibility/concrete-sum/main.c
-21 b/‎regression/symex-infeasibility/concrete-sum/main.c
-21
diff --git a/‎regression/symex-infeasibility/concrete-sum/test.desc
-8 b/‎regression/symex-infeasibility/concrete-sum/test.desc
-8
diff --git a/‎regression/symex-infeasibility/counter-safe/main.c
-39 b/‎regression/symex-infeasibility/counter-safe/main.c
-39
diff --git a/‎regression/symex-infeasibility/counter-safe/test.desc
-8 b/‎regression/symex-infeasibility/counter-safe/test.desc
-8
@@ -71,11 +71,6 @@ test_script:
     sed -i "12i mv $name.exe $name.gb" goto-cc-goto-analyzer/chain.sh || true
     cat goto-cc-goto-analyzer/chain.sh || true
 
-    sed -i "s/goto-cc\/goto-cc/goto-cc\/goto-cl/" goto-cc-symex/chain.sh || true
-    sed -i "11s/.*/$gc $name.c/" goto-cc-symex/chain.sh || true
-    sed -i "12i mv $name.exe $name.gb" goto-cc-symex/chain.sh || true
-    cat goto-cc-symex/chain.sh || true
-
     rem HACK disable failing tests
     rmdir /s /q ansi-c\arch_flags_mcpu_bad
     rmdir /s /q ansi-c\arch_flags_mcpu_good
@@ -113,11 +108,6 @@ test_script:
     rmdir /s /q cbmc-java\tableswitch2
     rmdir /s /q goto-gcc
     rmdir /s /q goto-instrument\slice08
-    rmdir /s /q symex\va_args_10
-    rmdir /s /q symex\va_args_2
-    rmdir /s /q symex\va_args_3
-    rmdir /s /q symex\va_args_5
-    rmdir /s /q symex\va_args_6
 
     make test
 
 
@@ -7,15 +7,13 @@ DIRS = ansi-c \
        goto-analyzer \
        goto-cc-cbmc \
        goto-cc-goto-analyzer \
-       goto-cc-symex \
        goto-diff \
        goto-gcc \
        goto-instrument \
        goto-instrument-typedef \
        invariants \
        strings \
        strings-smoke-tests \
-       symex \
        test-script \
        # Empty last line