mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-17 04:35:44 +00:00
Update Verific for bugfix
This commit is contained in:
parent
22bfdc23a8
commit
5376dc27e1
1 changed files with 1 additions and 1 deletions
2
verific
2
verific
|
|
@ -1 +1 @@
|
|||
Subproject commit 4feaf1f923157af0ed064eab8e302647bd5fa1b7
|
||||
Subproject commit 87cb8cf50448c4d28a1b2d57bd4afc119b6439af
|
||||
Loading…
Add table
Add a link
Reference in a new issue