From 07b5bbc2310dd17e10fae162c425cfaa7ee7899c Mon Sep 17 00:00:00 2001
From: Vitaly Chipounov <vitaly@chipounov.fr>
Date: Sat, 20 Apr 2024 17:18:03 +0200
Subject: [PATCH] klee: fixed z3 api

Signed-off-by: Vitaly Chipounov <vitaly@chipounov.fr>
---
 klee/lib/Solver/Z3Solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/klee/lib/Solver/Z3Solver.cpp b/klee/lib/Solver/Z3Solver.cpp
index 002156066..e343fd028 100644
--- a/klee/lib/Solver/Z3Solver.cpp
+++ b/klee/lib/Solver/Z3Solver.cpp
@@ -233,8 +233,8 @@ void Z3BaseSolverImpl::extractModel(const ArrayVec &objects, std::vector<std::ve
             z3::expr value_ast = model.eval(builder_->getInitialRead(array, offset), true);
             unsigned value_num;
 
-            Z3_bool conv_result = Z3_get_numeral_uint(context_, value_ast, &value_num);
-            ::check(conv_result == Z3_TRUE, "Could not convert value");
+            auto conv_result = Z3_get_numeral_uint(context_, value_ast, &value_num);
+            ::check(conv_result, "Could not convert value");
             assert(value_num < (1 << 8 * sizeof(unsigned char)) && "Invalid model value");
 
             data.push_back((unsigned char) value_num);