Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig
[yosys.git] / tests / simple_abc9 /
drwxr-xr-x   ..
-rw-r--r-- 141 abc9.v
-rwxr-xr-x 686 run-test.sh