| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/STD_04800.pp')
| -rw-r--r-- | data/property/cnes/STD_04800.pp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/data/property/cnes/STD_04800.pp b/data/property/cnes/STD_04800.pp deleted file mode 100644 index eb2653c..0000000 --- a/data/property/cnes/STD_04800.pp +++ /dev/null @@ -1,3 +0,0 @@ -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. |