diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 8d5306f8..2852bf81 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -398,12 +398,12 @@ public: /// isTrue - Is this the true expression. bool isTrue() const { - return getZExtValue(1) == 1; + return (getWidth() == Expr::Bool && value.getBoolValue()==true); } /// isFalse - Is this the false expression. bool isFalse() const { - return getZExtValue(1) == 0; + return (getWidth() == Expr::Bool && value.getBoolValue()==false); } /// isAllOnes - Is this constant all ones. |