index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
sat
/
initval.ys
blob: 2079d2f34e13971cd336cb50372e14baace6b9e9 (
plain
)
1
2
3
4
read_verilog -sv initval.v proc;; sat -seq 10 -prove-asserts
