Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
20 lines (14 sloc) 180 Bytes
[tasks]
prf
cvr
[options]
prf: mode prove
cvr: mode cover
cvr: depth 56
[engines]
smtbmc
[script]
read -formal resurrection.sv
prep -top resurrection
[files]
resurrection.sv
You can’t perform that action at this time.