about summary refs log tree commit diff stats
path: root/test/analysis/depgraph.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/analysis/depgraph.py')
-rw-r--r--test/analysis/depgraph.py3
1 files changed, 1 insertions, 2 deletions
diff --git a/test/analysis/depgraph.py b/test/analysis/depgraph.py
index 00b17760..90f2962c 100644
--- a/test/analysis/depgraph.py
+++ b/test/analysis/depgraph.py
@@ -13,7 +13,6 @@ try:
     import z3
 except ImportError:
     EMULATION=False
-    pass
 
 STEP_COUNTER = count()
 A = ExprId("a")
@@ -116,7 +115,7 @@ class GraphTest(DiGraph):
 
     def node2str(self, node):
         if isinstance(node, asm_label):
-            if not node in self.ira.blocs:
+            if node not in self.ira.blocs:
                 return str(node)
             else:
                 return str(self.ira.blocs[node])