From 3765dcfb28ec97120b8868ac1d1a1ef1c4cc3574 Mon Sep 17 00:00:00 2001
From: Niyaz Nigmatullin <niyaz.nigmatullin@gmail.com>
Date: Thu, 7 Dec 2023 16:14:06 +0200
Subject: [PATCH] Make domain for `instanceof` of `null`

---
 .../research/kex/state/transformer/domain/AbstractDomain.kt     | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/domain/AbstractDomain.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/domain/AbstractDomain.kt
index 0cf299856..b9ea43c2d 100644
--- a/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/domain/AbstractDomain.kt
+++ b/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/domain/AbstractDomain.kt
@@ -553,6 +553,8 @@ data object NullDomainValue : NullityAbstractDomainValue {
         is TermDomainValue -> satisfiesInequality(other.nullity)
         else -> unreachable { log.error("$this != $other is unexpected satisfiability check") }
     }
+
+    override fun satisfiesType(type: Type): AbstractDomainValue = DomainStorage.falseDomain
 }
 
 data object NullableDomainValue : NullityAbstractDomainValue {