From 3e8b884aaa07d077ae17e897a0b2eb41bd045fd8 Mon Sep 17 00:00:00 2001 From: Niyaz Nigmatullin Date: Thu, 7 Dec 2023 18:19:48 +0200 Subject: [PATCH] Use `:=` instead of `=` for store predicates --- .../vorpal/research/kex/state/predicate/ArrayStorePredicate.kt | 2 +- .../vorpal/research/kex/state/predicate/FieldStorePredicate.kt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/ArrayStorePredicate.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/ArrayStorePredicate.kt index 5d3b4ffe4..420ab06cf 100644 --- a/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/ArrayStorePredicate.kt +++ b/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/ArrayStorePredicate.kt @@ -25,7 +25,7 @@ class ArrayStorePredicate( val componentType: KexType get() = (arrayRef.type as? KexReference)?.reference ?: unreachable { log.error("Non-array type of array ref") } - override fun print() = "*($arrayRef) = $value" + override fun print() = "*($arrayRef) := $value" override fun > accept(t: Transformer): Predicate { val ref = t.transform(arrayRef) diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/FieldStorePredicate.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/FieldStorePredicate.kt index 961529bcf..8103df072 100644 --- a/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/FieldStorePredicate.kt +++ b/kex-core/src/main/kotlin/org/vorpal/research/kex/state/predicate/FieldStorePredicate.kt @@ -17,7 +17,7 @@ class FieldStorePredicate( @Required @Contextual override val location: Location = Location()) : Predicate() { override val operands by lazy { listOf(this.field, this.value) } - override fun print() = "*($field) = $value" + override fun print() = "*($field) := $value" override fun > accept(t: Transformer): Predicate { val tField = t.transform(field)