aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/issue2033/cdc_fifo_rtl_formal.psl
Commit message (Collapse)AuthorAgeFilesLines
* testsuite/synth: add a test for #2033Tristan Gingold2022-04-131-0/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-14 03:36:13 +0000