aboutsummaryrefslogtreecommitdiffstats
path: root/tests/smv/.gitignore
diff options
context:
space:
mode:
authorClaire Xen <claire@clairexen.net>2021-02-15 17:49:11 +0100
committerGitHub <noreply@github.com>2021-02-15 17:49:11 +0100
commit27d77415408be5e61c6334655d2f82693d20af44 (patch)
tree4ef45507ecd781268ecbc3b96ff0cfa79c2d2892 /tests/smv/.gitignore
parent4e741adda976260f620e5787d6db3cb28e0e35e7 (diff)
parentc96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2 (diff)
downloadyosys-27d77415408be5e61c6334655d2f82693d20af44.tar.gz
yosys-27d77415408be5e61c6334655d2f82693d20af44.tar.bz2
yosys-27d77415408be5e61c6334655d2f82693d20af44.zip
Merge pull request #2574 from dh73/master
Accept disable case for SVA liveness properties.
Diffstat (limited to 'tests/smv/.gitignore')
0 files changed, 0 insertions, 0 deletions