mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-24 12:07:53 +00:00
Code Activity

Revert "In sat: 'x' in init attr should not override constant"

Browse source 
This reverts commit 2b37a093e9.
This commit is contained in:
Eddie Hung 2019-08-26 17:52:57 -07:00
parent 54422c5bb4
commit 6b5e65919a
3 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/sat/initval.ys
View file

@ -1,4 +1,4 @@
read_verilog -sv initval.v
proc;
proc;;
sat -seq 10 -prove-asserts