diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-01-04 18:12:41 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-01-04 18:12:41 +0100 |
commit | 0cac95ea9403befe3dca49621ff577ce13faebf0 (patch) | |
tree | e35d2c6f69d34f5d93d4387d67ad0631ea165762 /frontends | |
parent | 81a9ee2360740dd05e6fc8215abd0e30837f2cda (diff) | |
download | yosys-0cac95ea9403befe3dca49621ff577ce13faebf0.tar.gz yosys-0cac95ea9403befe3dca49621ff577ce13faebf0.tar.bz2 yosys-0cac95ea9403befe3dca49621ff577ce13faebf0.zip |
Added "check -initdrv"
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions