Merge pull request #101 from niyaznigmatullin/store_printing

Use `:=` instead of `=` for store predicates
vorpal-research · Dec 7, 2023 · 84ec1e1 · 84ec1e1
2 parents a7aab55 + 3e8b884
commit 84ec1e1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 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
@@ -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 <T : Transformer<T>> accept(t: Transformer<T>): 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
@@ -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 <T : Transformer<T>> accept(t: Transformer<T>): Predicate {
         val tField = t.transform(field)