Updates Tests, fixes 2 properties & inferred/*.mod

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")
          )
       )
    )