Merge pull request #1253 from YosysHQ/clifford/check
[yosys.git] / tests / share /
drwxr-xr-x   ..
-rw-r--r-- 5 .gitignore
-rw-r--r-- 4159 generate.py
-rwxr-xr-x 915 run-test.sh