diff --git a/scripts/install_evmone.sh b/scripts/install_evmone.sh
deleted file mode 100755
index 0a460db90..000000000
--- a/scripts/install_evmone.sh
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/usr/bin/env sh
-
-# This is suitable for CIs, not end users.
-# This script is invoked by ossfuzz build CI.
-set -e
-
-TEMPDIR="src"
-cd /
-mkdir -p $TEMPDIR
-cd $TEMPDIR
-git clone --recurse-submodules https://github.com/chfast/evmone.git
-(
-  cd evmone
-  mkdir build
-  cd build
-  cmake .. -DBUILD_SHARED_LIBS=OFF
-  make -j2
-)
-
-git clone https://github.com/chfast/intx.git
-(
-  cd intx
-  mkdir build
-  cd build
-  cmake .. -DBUILD_SHARED_LIBS=OFF -DINTX_TESTING=OFF -DINTX_BENCHMARKING=OFF
-  make -j2
-)
-
-git clone https://github.com/chfast/ethash.git
-(
-  cd ethash
-  mkdir build
-  cd build
-  cmake .. -DBUILD_SHARED_LIBS=OFF -DETHASH_BUILD_TESTS=OFF
-  make -j2
-)
diff --git a/scripts/install_libfuzzer.sh b/scripts/install_libfuzzer.sh
deleted file mode 100755
index f231403ef..000000000
--- a/scripts/install_libfuzzer.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env sh
-set -e
-TEMPDIR=$(mktemp -d)
-(
-    cd $TEMPDIR
-    svn co https://llvm.org/svn/llvm-project/compiler-rt/trunk/lib/fuzzer libfuzzer
-    mkdir -p build-libfuzzer
-    cd build-libfuzzer
-    CXXFLAGS="-O1 -stdlib=libstdc++"
-    $CXX $CXXFLAGS -std=c++11 -O2 -fPIC -c ../libfuzzer/*.cpp -I../libfuzzer
-    ar r /usr/lib/libFuzzingEngine.a *.o
-)
-rm -rf $TEMPDIR
diff --git a/scripts/install_lpm.sh b/scripts/install_lpm.sh
deleted file mode 100755
index 0bc4f83d2..000000000
--- a/scripts/install_lpm.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env sh
-set -e
-
-TEMPDIR="src"
-cd /
-mkdir -p $TEMPDIR
-(
-    cd $TEMPDIR
-    git clone --depth 1 https://github.com/google/libprotobuf-mutator.git
-    mkdir -p LPM
-    cd LPM
-    cmake ../libprotobuf-mutator -GNinja -DLIB_PROTO_MUTATOR_DOWNLOAD_PROTOBUF=ON -DLIB_PROTO_MUTATOR_TESTING=OFF -DCMAKE_BUILD_TYPE=Release && ninja install
-)
diff --git a/test/libsolidity/smtCheckerTests/invariants/loop_array_for.sol b/test/libsolidity/smtCheckerTests/invariants/loop_array_for.sol
deleted file mode 100644
index 7169b444e..000000000
--- a/test/libsolidity/smtCheckerTests/invariants/loop_array_for.sol
+++ /dev/null
@@ -1,17 +0,0 @@
-pragma experimental SMTChecker;
-
-contract Simple {
-	uint[] a;
-	function f(uint n) public {
-		uint i;
-		for (i = 0; i < n; ++i)
-			a[i] = i;
-		require(n > 1);
-		// Assertion is safe but current solver version times out.
-		// Keep test for next solver release.
-		assert(a[n-1] > a[n-2]);
-	}
-}
-// ----
-// Warning: (261-284): Error trying to invoke SMT solver.
-// Warning: (261-284): Assertion violation happens here
diff --git a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol b/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol
deleted file mode 100644
index 92d1ded3e..000000000
--- a/test/libsolidity/smtCheckerTests/loops/while_loop_array_assignment_storage_storage.sol
+++ /dev/null
@@ -1,26 +0,0 @@
-pragma experimental SMTChecker;
-
-contract LoopFor2 {
-	uint[] b;
-	uint[] c;
-
-	function testUnboundedForLoop(uint n) public {
-		b[0] = 900;
-		uint[] storage a = b;
-		require(n > 0 && n < 100);
-		uint i;
-		while (i < n) {
-			b[i] = i + 1;
-			c[i] = b[i];
-			++i;
-		}
-		// Fails as false positive.
-		assert(b[0] == c[0]);
-		assert(a[0] == 900);
-		assert(b[0] == 900);
-	}
-}
-// ----
-// Warning: (296-316): Assertion violation happens here
-// Warning: (320-339): Assertion violation happens here
-// Warning: (343-362): Assertion violation happens here