From bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 20 Sep 2017 17:19:42 +0200 Subject: Solves the missing solutions bug. Starts PropDeps. --- data/property/CNE_01100.pro | 35 ++++++++++++++++++++++------------- 1 file changed, 22 insertions(+), 13 deletions(-) (limited to 'data/property') 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") + ) + ) ) ) ) -- cgit v1.2.3-70-g09d2