Merge pull request #102 from niyaznigmatullin/array_domain_assign_null

Fix ArrayDomain.assign(NullityDomain)
vorpal-research · Dec 11, 2023 · e793392 · e793392
2 parents 84ec1e1 + 7b5202f
commit e793392
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),