Revert to == when comparing AST objects in BackendConcrete

angr · Jun 20, 2024 · 3d94c03 · 3d94c03
1 parent 86a6c45
commit 3d94c03
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/claripy/backends/backend_concrete.py b/claripy/backends/backend_concrete.py
@@ -224,13 +224,13 @@ def is_false(self, e, extra_constraints=(), solver=None, model_callback=None):
 
     # pylint:disable=singleton-comparison
     def _is_true(self, e, extra_constraints=(), solver=None, model_callback=None):
-        return e is True
+        return e == True  # noqa: E712
 
     def _is_false(self, e, extra_constraints=(), solver=None, model_callback=None):
-        return e is False
+        return e == False  # noqa: E712
 
     def _has_true(self, e, extra_constraints=(), solver=None, model_callback=None):
-        return e is True
+        return e == True  # noqa: E712
 
     def _has_false(self, e, extra_constraints=(), solver=None, model_callback=None):
-        return e is False
+        return e == False  # noqa: E712