diff options
| author | Jannis Harder <me@jix.one> | 2022-05-31 17:47:07 +0200 |
|---|---|---|
| committer | George Rennie <georgerennie@gmail.com> | 2022-06-18 18:19:26 +0100 |
| commit | e39c422734219bb0601827cb7c1d081f7ac7817b (patch) | |
| tree | 6ddf17cbfe324654ea51f9127b3988edc326c5e2 /backends/smv | |
| parent | c659bd18786633c52d42b5966627d39d99ae89e3 (diff) | |
| download | yosys-e39c422734219bb0601827cb7c1d081f7ac7817b.tar.gz yosys-e39c422734219bb0601827cb7c1d081f7ac7817b.tar.bz2 yosys-e39c422734219bb0601827cb7c1d081f7ac7817b.zip | |
chformal: Test -coverprecond and reuse the src attribute
Diffstat (limited to 'backends/smv')
0 files changed, 0 insertions, 0 deletions