3 files changed, 0 insertions, 21 deletions
diff --git a/tests/techmap/abc9/abc9.v b/tests/techmap/abc9/abc9.v
deleted file mode 100644
index 2d9aea366..000000000
--- a/tests/techmap/abc9/abc9.v
+++ /dev/null
@@ -1,6 +0,0 @@
-module top(input [1:0] a, output [1:0] b, output c, output d, output e);
-assign b = a;
-assign c = ^a;
-assign d = ~c;
-assign e = d;
-endmodule
diff --git a/tests/techmap/abc9/abc9_runtest.sh b/tests/techmap/abc9/abc9_runtest.sh
deleted file mode 100644
index 2deaad719..000000000
--- a/tests/techmap/abc9/abc9_runtest.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-
-set -ev
-
-../../../yosys -p 'abc9 -lut 4; check; select -assert-count 2 t:$lut; select -assert-none c:* t:$lut %n %i' abc9.v
diff --git a/tests/techmap/abc9/run-test.sh b/tests/techmap/abc9/run-test.sh
deleted file mode 100755
index e2fc11e52..000000000
--- a/tests/techmap/abc9/run-test.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -e
-for x in *_runtest.sh; do
-	echo "Running $x.."
-	if ! bash $x &> ${x%.sh}.log; then
-		tail ${x%.sh}.log
-		echo ERROR
-		exit 1
-	fi
-done