From 7b5202f4ad481308f69f307bb8c60019ef79a205 Mon Sep 17 00:00:00 2001 From: Niyaz Nigmatullin Date: Fri, 8 Dec 2023 16:29:30 +0200 Subject: [PATCH] Fix ArrayDomain.assign(NullityDomain) --- .../research/kex/state/transformer/domain/AbstractDomain.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 b9ea43c2d..3ced86b48 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 @@ -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),