add return

5 years ago · 3a15d50efd
parent e174da4dd8
commit 3a15d50efd
2 changed files with 2 additions and 1 deletions
--- a/mythril/laser/smt/init.py
+++ b/mythril/laser/smt/init.py
@ -4,6 +4,7 @@ from mythril.laser.smt.bitvec_helper import (
    If,
    UGT,
    ULT,
+    ULE,
    Concat,
    Extract,
    URem,
--- a/mythril/laser/smt/bitvec_helper.py
+++ b/mythril/laser/smt/bitvec_helper.py
@ -18,7 +18,7 @@ def _comparison_helper(
 ) -> Bool:
    annotations = a.annotations.union(b.annotations)
    if isinstance(a, BitVecFunc):
-        _func_comparison_helper(a, b, operation, default_value, inputs_equal)
+        return _func_comparison_helper(a, b, operation, default_value, inputs_equal)
    return Bool(operation(a.raw, b.raw), annotations)