yosys/tests/hana/run-test.sh