projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e982c) | patch
Regression test: do not merge FFs with unconstrained initvals
authorJannis Harder <me@jix.one>
Fri, 1 Apr 2022 17:25:09 +0000 (19:25 +0200)
committerJannis Harder <me@jix.one>
Fri, 1 Apr 2022 17:25:09 +0000 (19:25 +0200)
commitef236eeddc81176672ac8c3d3a71d938fe31317c
tree35fead34fedb78be36f4c680e4c27d94c02c2ed3tree
parent25e982c238ca05845e8a324b256504ee3835a365commit | diff
Regression test: do not merge FFs with unconstrained initvals

Currently done by `opt -keepdc` via `opt_merge` but not valid in a
formal context.
tests/.gitignore diff | blob | history
tests/invalid_ff_dcinit_merge.sby [new file with mode: 0644] blob