diff --git a/claripy/backends/backend_concrete.py b/claripy/backends/backend_concrete.py index d5670668a..1f8cf943b 100644 --- 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