commented out all_supported in strings for now, it has a bug here.

diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp
index 77d4b80d75609a6129e2bda04629812abba7a025..fa3f77e9fd0e3fa26538ad059833acae19571ffc 100644 (file)
--- a/src/theory/strings/theory_strings.cpp
+++ b/src/theory/strings/theory_strings.cpp
@@ -416,13 +416,13 @@ void TheoryStrings::check(Effort e) {
   bool polarity;
   TNode atom;
 
-  if(d_all_warning) {
+  /*if(d_all_warning) {
          if(getLogicInfo().hasEverything()) {
                  WarningOnce() << "WARNING: strings not supported in default configuration (ALL_SUPPORTED).\n"
                          << "To suppress this warning in the future use proper logic symbol, e.g. (set-logic QF_S)." << std::endl;
          }
          d_all_warning = false;
-  }
+  }*/
 
   if( !done() && !hasTerm( d_emptyString ) ) {
         preRegisterTerm( d_emptyString );