Fix missing property on unique name

trailofbits · Aug 26, 2020 · a0239cc · a0239cc
1 parent 46988dc
commit a0239cc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/manticore/core/plugin.py b/manticore/core/plugin.py
@@ -668,5 +668,6 @@ def get_state_descriptors(self) -> typing.Dict[int, StateDescriptor]:
             out = context.copy()  # TODO: is this necessary to break out of the lock?
         return out
 
+    @property
     def unique_name(self) -> str:
         return IntrospectionAPIPlugin.NAME