Merge pull request #100 from niyaznigmatullin/null_instanceof

Make domain for `instanceof` of `null`
vorpal-research · Dec 7, 2023 · a7aab55 · a7aab55
2 parents dbaf0e3 + 3765dcf
commit a7aab55
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/domain/AbstractDomain.kt b/...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 {