Use mem2reg on memories that only have constant-index write ports
[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