From 4ed10a750dc49cbb4a6fecccb4a4b24f4718c8c7 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 23 Oct 2019 14:29:21 +0200
Subject: [PATCH] add eq implementation to base array

This is used for summary generation
---
 mythril/laser/smt/array.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mythril/laser/smt/array.py b/mythril/laser/smt/array.py
index 9289b290..b804b374 100644
--- a/mythril/laser/smt/array.py
+++ b/mythril/laser/smt/array.py
@@ -31,6 +31,9 @@ class BaseArray:
 
         self.raw = z3.Store(self.raw, key.raw, value.raw)  # type: ignore
 
+    def __eq__(self, other: "BaseArray"):
+        return Bool(self.raw == other.raw)
+
 
 class Array(BaseArray):
     """A basic symbolic array."""