From 91f2d9617959627aa7b4ce7b095b059d9ecf3158 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 23 Oct 2019 14:26:30 +0200
Subject: [PATCH] add constructor to symbolic summary class

---
 .../plugins/implementations/summary/core.py      | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/mythril/laser/ethereum/plugins/implementations/summary/core.py b/mythril/laser/ethereum/plugins/implementations/summary/core.py
index b2980ae1..465cc08f 100644
--- a/mythril/laser/ethereum/plugins/implementations/summary/core.py
+++ b/mythril/laser/ethereum/plugins/implementations/summary/core.py
@@ -35,8 +35,20 @@ class SymbolicSummary:
 
     A symbolic summary is an awesome construct that allows mythril to record and re-use partial analysis results
     """
-    def __init__():
-        pass
+
+    def __init__(
+        self,
+        storage_effect,
+        condition,
+        return_value,
+        entry,
+        exit,
+    ):
+        self.storage_effect = storage_effect
+        self.condition = condition
+        self.return_value = return_value
+        self.entry = entry
+        self.exit = exit
 
 
 class SymbolicSummaryPlugin(LaserPlugin):