Fix ArrayDomain.assign(NullityDomain)

vorpal-research · Dec 8, 2023 · 7b5202f · 7b5202f
1 parent 84ec1e1
commit 7b5202f
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -752,7 +752,7 @@ data class ArrayDomainValue(
     }
 
     override fun assign(other: AbstractDomainValue): AbstractDomainValue = when (other) {
-        is NullityAbstractDomainValue -> PtrDomainValue(nullity.assign(other), type)
+        is NullityAbstractDomainValue -> ArrayDomainValue(nullity.assign(other), type, length)
         is PtrDomainValue -> ArrayDomainValue(nullity.assign(other.nullity), type.assign(other.type), length)
         is ArrayDomainValue -> ArrayDomainValue(
             nullity.assign(other.nullity),