Fix symexec view (#1234)

angr · Mar 29, 2024 · df144d3 · df144d3
1 parent d49c7dd
commit df144d3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/angrmanagement/ui/views/symexec_view.py b/angrmanagement/ui/views/symexec_view.py
@@ -17,8 +17,9 @@
 
 
 class SymexecView(InstanceView):
-    def __init__(self, workspace: Workspace, instance: Instance) -> None:
-        super().__init__("symexec", workspace, "right", instance)
+    def __init__(self, workspace: Workspace, default_docking_position: str, instance: Instance) -> None:
+        super().__init__("symexec", workspace, default_docking_position, instance)
+        assert not isinstance(self.instance, str)
 
         self.base_caption = "Symbolic Execution"
 

diff --git a/angrmanagement/ui/workspace.py b/angrmanagement/ui/workspace.py
@@ -993,6 +993,6 @@ def _get_or_create_view(self, category: str, view_type: type[T], position: str =
         if view is None:
             view = self.view_manager.first_view_in_category(category)
         if view is None:
-            view = view_type(self, self._main_instance, position)
+            view = view_type(self, position, self._main_instance)
             self.add_view(view)
         return view