[test] ignored extern mocking tests

- shims are not supported for .NET 7
MchKosticyn · Sep 7, 2023 · d512986 · d512986
1 parent e73278e
commit d512986
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 10 deletions.
diff --git a/VSharp.Test/Tests/ExternMocks.cs b/VSharp.Test/Tests/ExternMocks.cs
@@ -16,7 +16,8 @@ public static DateTime CallStrDt(int a)
             return dt;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static DateTime DtNowRet()
         {
             var t1 = DateTime.Now;
@@ -35,30 +36,34 @@ public static int DtNowCompareTo()
             return 0;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static string ReadLine()
         {
             var str = Console.ReadLine();
             return str;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static string ReadLineTwice()
         {
             var str = Console.ReadLine();
             var str2 = Console.ReadLine();
             return str2;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static string ReadLineLength()
         {
             string s = Console.ReadLine();
             var len = s.Length;
             return s;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static bool ReadLineCharEq()
         {
             string s = Console.ReadLine();

diff --git a/VSharp.Test/Tests/IOFile.cs b/VSharp.Test/Tests/IOFile.cs
@@ -1,41 +1,47 @@
+using NUnit.Framework;
 using VSharp.Test;
 
 namespace IntegrationTests
 {
     [TestSvmFixture]
     public sealed class IOFile
     {
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static string ReadFromEmptyFname()
         {
             var s1 = System.IO.File.ReadAllText("");
             return s1;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static bool ReadTwiceFromCorrectPath()
         {
             var s1 = System.IO.File.ReadAllText("/etc/inputrc");
             var s2 = System.IO.File.ReadAllText("/etc/inputrc");
             return s1 == s2;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static bool ReadTwiceFromIncorrectPath()
         {
             var s1 = System.IO.File.ReadAllText("aVeryStrangeFileName");
             var s2 = System.IO.File.ReadAllText("42");
             return s1 == s2;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static int ReadToArray2()
         {
             var s1 = System.IO.File.ReadAllLines("/etc/inputrc");
             return s1.Length;
         }
 
-        [TestSvm(hasExternMocking: true)]
+        // [TestSvm(hasExternMocking: true)]
+        [Ignore("shims are not supported for .NET 7")]
         public static bool ReadToArray()
         {
             var s1 = System.IO.File.ReadAllLines("aVeryStrangeFileName");