| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/property/CNE_01100.pro | 35 |
1 files changed, 22 insertions, 13 deletions
diff --git a/data/property/CNE_01100.pro b/data/property/CNE_01100.pro index ad94747..6ed2cff 100644 --- a/data/property/CNE_01100.pro +++ b/data/property/CNE_01100.pro @@ -2,19 +2,28 @@ ( (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") + (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") + ) + ) ) ) ) |