Use the right true and false

angr · Oct 2, 2024 · eddf1ab · eddf1ab
1 parent 79b61f2
commit eddf1ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/claripy/ast/bool.py b/claripy/ast/bool.py
@@ -163,15 +163,15 @@ def If(cond, true_value, false_value):
 
 
 def is_true(e):
-    if claripy.simplify(e) is True:
+    if claripy.simplify(e) is true():
         return True
 
     log.debug("Unable to tell the truth-value of this expression")
     return False
 
 
 def is_false(e):
-    if claripy.simplify(e) is False:
+    if claripy.simplify(e) is false():
         return True
 
     log.debug("Unable to tell the truth-value of this expression")