Add a quick abc9 test

tests/techmap/abc9/abc9.v

@@ -0,0 +1,6 @@
+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

tests/techmap/abc9/abc9_runtest.sh

@@ -0,0 +1,5 @@
+#!/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

tests/techmap/abc9/run-test.sh

@@ -0,0 +1,10 @@
+#!/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

tests/techmap/run-test.sh

@@ -8,3 +8,11 @@ for x in *_runtest.sh; do
 		exit 1
 	fi
 done
+
+for d in */; do
+    if [ -x $d/run-test.sh ]; then
+        cd $d
+        bash run-test.sh
+        cd ..
+    fi
+done