Add ability to override verilog mode for verific -f command
[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