[test] added test

MchKosticyn · Nov 24, 2023 · 0085d86 · 0085d86
1 parent 48446d5
commit 0085d86
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/VSharp.Test/Tests/Generic.cs b/VSharp.Test/Tests/Generic.cs
@@ -398,6 +398,7 @@ public static int Nested1(object o)
             }
             return 1;
         }
+
         [TestSvm(100)]
         public static int Nested2(object o)
         {

diff --git a/VSharp.Test/Tests/Lists.cs b/VSharp.Test/Tests/Lists.cs
@@ -949,6 +949,15 @@ public static int ListTest(decimal d1, decimal d2)
             return -1;
         }
 
+        [TestSvm(100)]
+        public static int ListTest1(List<object> l, object e)
+        {
+            var i = l.LastIndexOf(e);
+            if (i >= 0)
+                return i;
+            return -1;
+        }
+
         [Ignore("implement splitting")]
         public static int HashtableTest(int a)
         {
-Original file line number
+Diff line change
@@ Expand Up / @@ -398,6 +398,7 @@ public static int Nested1(object o) @@
                 }
                 return 1;
             }
             [TestSvm(100)]
             public static int Nested2(object o)
             {
@@ Expand Down @@