luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove chformal test from verific since it requires initial value preservation

This commit is contained in:
Akash Levy 2025-07-21 18:07:49 -07:00
parent d9fb46b5ac
commit d5f34b5c61
2 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/verific/README.md
View File

@ -6,3 +6,4 @@
- `memory_semantics`: relies on initial values being retained, which we do not want
- `rom_case`: relies on using Verific's VHDL frontend
- `blackbox*`: we need different behavior for parametrized blackboxes
- `chformal`: relies on initial values being retained, which we do not want

0
tests/verific/chformal.ys → tests/verific/chformal.ys.DISABLED
View File