projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
reformat wand/wor test
[yosys.git] / tests / sat / initval.ys
1 read_verilog -sv initval.v
2 proc;;
3
4 sat -seq 10 -prove-asserts