diff options
| author | Claire Xen <claire@clairexen.net> | 2021-02-15 17:49:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-15 17:49:11 +0100 |
| commit | 27d77415408be5e61c6334655d2f82693d20af44 (patch) | |
| tree | 4ef45507ecd781268ecbc3b96ff0cfa79c2d2892 /tests/smv/.gitignore | |
| parent | 4e741adda976260f620e5787d6db3cb28e0e35e7 (diff) | |
| parent | c96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2 (diff) | |
| download | yosys-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