aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/assertassumes0/assert0.vhdl
Commit message (Expand)AuthorAgeFilesLines
* synth: add option to treat asserts as assumes and vice-versatmeissner2021-01-021-0/+21