mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-10 21:20:53 +00:00
Code Activity

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

Browse source
This commit is contained in:
Eddie Hung 2019-08-22 16:42:19 -07:00
parent 66607845ec
commit 2b37a093e9
3 changed files with 7 additions and 1 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