diff --git a/src/plugins/value/utests b/src/plugins/value/utests
deleted file mode 100755
index 0b2cfea613cd1024532c5bbff89cae377bc921b5..0000000000000000000000000000000000000000
--- a/src/plugins/value/utests
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/bash -eu
-
-export LC_ALL=C
-
-# before testing, we check that no extraneous oracles exist in the tests
-# directory, otherwise the final diff may be invalid
-ptests/check_oracles.sh
-res=$?
-if [ $res -ne 0 ]; then
-    echo "Error: $0 cannot run due to extraneous tests, please remove them."
-    exit 1
-fi
-
-TESTS=(float value idct builtins)
-CONFIGS=(apron equalities bitwise symblocs gauges octagons)
-
-for C in ${CONFIGS[@]}
-do
-    echo $C
-#    ./bin/ptests.opt -config $C -update 2> /dev/null
-
-    for T in ${TESTS[@]}
-    do
-        diff tests/$T/oracle tests/$T/oracle_$C | \
-            sed -r 's/([\+-][\+-][\+-]) ([^\t]+)\t.*/\1 \2\tDATE/' > tests/$T/diff_$C
-    done
-done
diff --git a/src/plugins/value/vtests b/src/plugins/value/vtests
deleted file mode 100755
index 2962dae8d845919d715d58362f08e97b0fd984d0..0000000000000000000000000000000000000000
--- a/src/plugins/value/vtests
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/bash -eu
-
-DEFAULT_TESTS=(float value idct builtins)
-CONFIGS=( apron equalities bitwise symblocs gauges octagons)
-
-ARGS=("${@-}")
-
-# has_target returns 0 if at least one of the arguments is a target
-# (i.e. not an option such as "-j 8"). If so, do not run tests
-# for all default targets, only for the specified target(s)
-has_target=0
-# sets has_target=0
-function has_target() {
-    local __has_target=1
-    for f in $@; do
-        __re="\\b$f\\b" # match argument as whole word
-        if [[ "$f" =~ \.[ci]$ || \
-            ( "$f" =~ ^[A-Za-z] && "${DEFAULT_TESTS[@]}" =~ $__re ) ]]; then
-            __has_target=0
-        fi
-    done
-    return $__has_target
-}
-
-
-if has_target ${ARGS[@]}; then
-    TESTS=("${ARGS[@]}")
-else
-    TESTS="${DEFAULT_TESTS[@]} ${ARGS[@]}"
-fi
-
-echo Testing ${TESTS[@]}
-
-for A in ${CONFIGS[@]}
-do
-    echo $A
-    ./bin/ptests.opt -config $A ${TESTS[@]}
-done