Remove failing test

Unfixable due to the lack of support for typeof operator

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/samples/operators/Equality.kt

@@ -181,29 +181,4 @@ class Equality : TsMethodTestRunner() {
             )
         )
     }
-
-    @Test
-    fun `test eqAnyWithNull`() {
-        val method = getMethod("eqAnyWithNull")
-        discoverProperties<TsTestValue, TsTestValue.TsNumber>(
-            method,
-            { a, r ->
-                (r eq 1) && (a is TsTestValue.TsNull)
-            },
-            { a, r ->
-                (r eq 2) && (a is TsTestValue.TsUndefined)
-            },
-            { a, r ->
-                (r eq 5) && (a !is TsTestValue.TsNull)
-            },
-            { a, r ->
-                (r eq 10) && (a !is TsTestValue.TsNull) && (a !is TsTestValue.TsUndefined)
-            },
-            invariants = arrayOf(
-                { _, r -> r.number > 0 },
-                { a, r -> if (r eq 1) a is TsTestValue.TsNull else true },
-                { a, r -> if (r eq 2) a is TsTestValue.TsUndefined else true },
-            )
-        )
-    }
 }

usvm-ts/src/test/resources/samples/operators/Equality.ts

@@ -76,28 +76,4 @@ class Equality {
         if (undefined == null) return 1;
         return -1; // unreachable
     }
-
-    eqAnyWithNull(a: any): number {
-        if (typeof a === "object") {
-            // Note: `a == null` is true when `a` is null or undefined,
-            // but here `a` cannot be undefined because `typeof undefined` is "undefined".
-            // Thus, `a == null` is true only if `a === null`.
-            if (a == null) {
-                if (a === null) return 1; // null
-                return -1; // unreachable
-            }
-            return 5; // non-null object
-        }
-        if (typeof a === "undefined") {
-            // Note: `a == null` is true when `a` is null or undefined,
-            // but here `a` cannot be null because `typeof null` is "object".
-            // Thus, `a == null` is true only if `a === undefined`.
-            if (a == null) {
-                if (a === undefined) return 2; // undefined
-                return -1; // unreachable
-            }
-            return -1; // unreachable
-        }
-        return 100; // non-object, non-undefined
-    }
 }