summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/property/cnes/CNE_01100.pro')
-rw-r--r--data/property/cnes/CNE_01100.pro21
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")
- )
- )
- )
-)