opt_reduce: Add $bmux and $demux optimization patterns.
[yosys.git] / tests / smv /
drwxr-xr-x   ..
-rw-r--r-- 5 .gitignore
-rw-r--r-- 482 run-single.sh
-rwxr-xr-x 332 run-test.sh