make mutation annotations persist over calls

5 years ago · 00cf893807
parent 5e140d6f1e
commit 00cf893807
1 changed files with 4 additions and 0 deletions
--- a/mythril/laser/plugin/plugins/plugin_annotations.py
+++ b/mythril/laser/plugin/plugins/plugin_annotations.py
@ -13,6 +13,10 @@ class MutationAnnotation(StateAnnotation):
    def __init__(self):
        pass

+    @property
+    def persist_over_calls(self) -> bool:
+        return True
+

 class DependencyAnnotation(StateAnnotation):
    """Dependency Annotation