Merge pull request #1037 from owen-jones-diffblue/owen/errors-to-warnings

Change two errors to warnings

Author: forejtv

src/goto-programs/interpreter.cpp

@@ -894,8 +894,7 @@ typet interpretert::concretize_type(const typet &type)
     }
     else
     {
-      error() << "Failed to concretize variable array"
-              << eom;
+      warning() << "Failed to concretize variable array" << eom;
     }
   }
   return type;

src/goto-programs/interpreter_evaluate.cpp

@@ -1054,7 +1054,7 @@ void interpretert::evaluate(
   {
     if(expr.type().id()==ID_signedbv)
     {
-      error() << "Infinite size arrays not supported" << eom;
+      warning() << "Infinite size arrays not supported" << eom;
       return;
     }
   }