| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/CNE_01100.pro')
| -rw-r--r-- | data/property/CNE_01100.pro | 35 |
1 files changed, 13 insertions, 22 deletions
diff --git a/data/property/CNE_01100.pro b/data/property/CNE_01100.pro index 6ed2cff..ad94747 100644 --- a/data/property/CNE_01100.pro +++ b/data/property/CNE_01100.pro @@ -2,28 +2,19 @@ ( (pt port CNE_01100_BAD_NAME) ) - (exists pt2 port - (and -;; Goes into infinity: -;; (has_mode pt2 _) -;; (has_mode pt2 "in") -;; Fixes all: - (eq pt2 pt) - (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") - ) - ) + (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") ) ) ) |