From 9d6c35b2e847e6e4864e550574ab08f2c9d20ee6 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 19 Sep 2017 17:15:27 +0200
Subject: Strings are all in lowercase.

Still doesn't fix CNE_01200's valid.vhd:19 not being detected. The instr
model seems correct, though.
---
 instr-to-kodkod/src/StringManager.java | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'instr-to-kodkod/src/StringManager.java')

diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java
index 41969a9..3e31d47 100644
--- a/instr-to-kodkod/src/StringManager.java
+++ b/instr-to-kodkod/src/StringManager.java
@@ -57,9 +57,10 @@ public class StringManager
 
    public Relation get_regex_as_relation
    (
-      final String str
+      String str
    )
    {
+      str = str.toLowerCase();
       regexes.add(Pattern.compile(str.substring(1, (str.length() - 1))));
 
       return get_string_as_relation(str);
@@ -101,8 +102,7 @@ public class StringManager
                   }
                );
             }
-            /*
-            else
+            else if (Main.get_parameters().be_verbose())
             {
                System.out.println
                (
@@ -113,7 +113,6 @@ public class StringManager
                   + "\"."
                );
             }
-            */
          }
       }
    }
-- 
cgit v1.2.3-70-g09d2