| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/CNE_01100.pro')
| -rw-r--r-- | data/property/cnes/CNE_01100.pro | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/data/property/cnes/CNE_01100.pro b/data/property/cnes/CNE_01100.pro deleted file mode 100644 index ddeb4e3..0000000 --- a/data/property/cnes/CNE_01100.pro +++ /dev/null @@ -1,21 +0,0 @@ -(tag_existing - ( - (pt port CNE_01100_BAD_NAME) - ) - (not - (or - (and - (string_matches [identifier pt] "i_.*") - (has_mode pt "in") - ) - (and - (string_matches [identifier pt] "o_.*") - (has_mode pt "out") - ) - (and - (string_matches [identifier pt] "b_.*") - (has_mode pt "inout") - ) - ) - ) -) |


