From 4637db06583bc250b96e6145fc7bac9e16c730df Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 1 Aug 2017 11:10:01 +0200 Subject: Fixes is_accessed_by. CNE_01700 is not working. The BCE has been updated to include a group of items that should be tagged by the CNE_01700 rule. However, it's not happening. I don't see anything wrong with the way the CNE_01700 rule is written and a quick overview of the generated model would lead me to conclude that it indeed should tag something. Likely there are still issues with the way properties are turned into Kodkod formulas. --- instr-to-kodkod/src/StringManager.java | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'instr-to-kodkod/src') diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java index 9d73dd6..e94a7af 100644 --- a/instr-to-kodkod/src/StringManager.java +++ b/instr-to-kodkod/src/StringManager.java @@ -75,6 +75,15 @@ public class StringManager { if (p.matcher(c.getKey()).matches()) { + System.out.println + ( + "[D] \"" + + c.getValue() + + "\" matches pattern \"" + + p.pattern() + + "\"." + ); + rp.add_member ( new String[] -- cgit v1.2.3-70-g09d2