Solves the missing solutions bug. Starts PropDeps.

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