--- /dev/null
+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
+++ /dev/null
-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
+++ /dev/null
-#!/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
+++ /dev/null
-#!/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
exit 1
fi
done
-
-for d in */; do
- if [ -x $d/run-test.sh ]; then
- cd $d
- bash run-test.sh
- cd ..
- fi
-done