opt_merge: Add `-keepdc` option required for formal verification
[yosys.git] / tests / vloghtb /
drwxr-xr-x   ..
-rw-r--r-- 83 .gitignore
-rw-r--r-- 2636 common.sh
-rwxr-xr-x 373 run-test.sh
-rw-r--r-- 425 test_febe.sh
-rw-r--r-- 184 test_makefile
-rw-r--r-- 338 test_mapopt.sh
-rw-r--r-- 148 test_share.sh