summaryrefslogtreecommitdiff
blob: eb2653c60e3fa4136b1665d601a16ed193c2ac91 (plain)
1
2
3
The signal $wfm.IDENTIFIER$ (declared in $wfm.FILE$, line $wfm.LINE$, column
$wfm.COLUMN$) is tested with both the rising_edge and the falling_edge
functions. This goes against STD_04800.