[fix] added internal call

Author: MchKosticyn

VSharp.CSharpUtils/EnvironmentUtils.cs

@@ -4,4 +4,11 @@ public static class EnvironmentUtils
 {
     [Implements("System.Void System.Environment..cctor()")]
     public static void EnvironmentStaticConstructor() { }
+
+    [Implements("System.String System.IO.Path.GetFullPathInternal(System.String)")]
+    public static string GetFullPathInternal(string s)
+    {
+        // TODO: implement fully
+        return s;
+    }
 }

VSharp.CSharpUtils/JetBrainsDiagnosticsUtils.cs

@@ -2,8 +2,6 @@
 
 public static class JetBrainsDiagnosticsUtils
 {
-    [Implements("System.Void JetBrains.Diagnostics.Log..cctor()")]
-    public static void LogStaticConstructor() { }
 
     [Implements("System.Boolean JetBrains.Diagnostics.LogEx.IsTraceEnabled(JetBrains.Diagnostics.ILog)")]
     public static bool LogIsTraceEnabled()

VSharp.IL/Loader.fs

@@ -112,6 +112,7 @@ module Loader =
             "System.Boolean System.Numerics.Vector`1[T].op_Equality(System.Numerics.Vector`1[T], System.Numerics.Vector`1[T])"
             "System.Numerics.Vector`1[T] System.Numerics.Vector.BitwiseOr(System.Numerics.Vector`1[T, System.Numerics.Vector`1[T])"
             "System.Numerics.Vector`1[T] System.Numerics.Vector.BitwiseAnd(System.Numerics.Vector`1[T, System.Numerics.Vector`1[T])"
+            "System.Numerics.Vector`1[T] System.Numerics.Vector.Equals(System.Numerics.Vector`1[T], System.Numerics.Vector`1[T])"
         |]
         let runtimeHelpers = [|
              "System.Boolean System.Runtime.CompilerServices.RuntimeHelpers.IsKnownConstant(System.Char)"
@@ -236,6 +237,7 @@ module Loader =
             "System.String System.IO.Path.GetFullPath(System.String)"
             "System.Boolean System.OperatingSystem.IsOSPlatform(System.String)"
             "System.Collections.IDictionary System.Environment.GetEnvironmentVariables()"
+            "System.IO.TextWriter System.Console.get_Out()"
 
             // Text
             "System.Int32 System.Text.UTF8Encoding.GetBytes(this, System.String, System.Int32, System.Int32, System.Byte[], System.Int32)"

VSharp.SILI/CILState.fs

@@ -44,6 +44,7 @@ type cilState =
         /// </summary>
         id : uint
     }
+    override x.ToString() = System.String.Empty
 
     interface IGraphTrackableState with
         override this.CodeLocation = this.currentLoc