Merge pull request diffblue#1379 from diffblue/remove-symex

remove path-symex and the symex tool
smowton · Sep 14, 2017 · ec6ad09 · ec6ad09
2 parents f96ff48 + 1c1d3c2
commit ec6ad09
Show file tree

Hide file tree

Showing 118 changed files with 3 additions and 7,173 deletions.
diff --git a/appveyor.yml b/appveyor.yml
@@ -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
 

diff --git a/regression/Makefile b/regression/Makefile
@@ -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
 

diff --git a/regression/goto-cc-symex/Makefile b/regression/goto-cc-symex/Makefile
diff --git a/regression/goto-cc-symex/chain.sh b/regression/goto-cc-symex/chain.sh
diff --git a/regression/goto-cc-symex/regenerate-entry-function/main.c b/regression/goto-cc-symex/regenerate-entry-function/main.c
diff --git a/regression/goto-cc-symex/regenerate-entry-function/test.desc b/regression/goto-cc-symex/regenerate-entry-function/test.desc
diff --git a/regression/symex-infeasibility/Makefile b/regression/symex-infeasibility/Makefile
diff --git a/regression/symex-infeasibility/bst-safe/main.c b/regression/symex-infeasibility/bst-safe/main.c
diff --git a/regression/symex-infeasibility/bst-safe/test.desc b/regression/symex-infeasibility/bst-safe/test.desc
diff --git a/regression/symex-infeasibility/concrete-sum-unsafe/main.c b/regression/symex-infeasibility/concrete-sum-unsafe/main.c
diff --git a/regression/symex-infeasibility/concrete-sum-unsafe/test.desc b/regression/symex-infeasibility/concrete-sum-unsafe/test.desc
diff --git a/regression/symex-infeasibility/concrete-sum/concrete-sum-unsafe.c b/regression/symex-infeasibility/concrete-sum/concrete-sum-unsafe.c
diff --git a/regression/symex-infeasibility/concrete-sum/main.c b/regression/symex-infeasibility/concrete-sum/main.c
diff --git a/regression/symex-infeasibility/concrete-sum/test.desc b/regression/symex-infeasibility/concrete-sum/test.desc
diff --git a/regression/symex-infeasibility/counter-safe/main.c b/regression/symex-infeasibility/counter-safe/main.c
diff --git a/regression/symex-infeasibility/counter-safe/test.desc b/regression/symex-infeasibility/counter-safe/test.desc