Date: Wed, 15 Feb 2023 17:27:53 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: dfb6785c8be5 - main - security/klee: Unbreak after math/z3 update. Message-ID: <202302151727.31FHRrhH061057@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22 commit dfb6785c8be5bbc2819f5cc103f2a6aae4bd3c22 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2023-02-15 17:27:10 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2023-02-15 17:27:42 +0000 security/klee: Unbreak after math/z3 update. Reported by: pkg-fallout --- security/klee/files/patch-lib_Solver_Z3Solver.cpp | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/security/klee/files/patch-lib_Solver_Z3Solver.cpp b/security/klee/files/patch-lib_Solver_Z3Solver.cpp new file mode 100644 index 000000000000..6b94b085cead --- /dev/null +++ b/security/klee/files/patch-lib_Solver_Z3Solver.cpp @@ -0,0 +1,20 @@ +--- lib/Solver/Z3Solver.cpp.orig 2022-04-04 12:37:59 UTC ++++ lib/Solver/Z3Solver.cpp +@@ -362,7 +362,7 @@ SolverImpl::SolverRunStatus Z3SolverImpl::handleSolver + __attribute__((unused)) + bool successfulEval = + Z3_model_eval(builder->ctx, theModel, initial_read, +- /*model_completion=*/Z3_TRUE, &arrayElementExpr); ++ /*model_completion=*/true, &arrayElementExpr); + assert(successfulEval && "Failed to evaluate model"); + Z3_inc_ref(builder->ctx, arrayElementExpr); + assert(Z3_get_ast_kind(builder->ctx, arrayElementExpr) == +@@ -432,7 +432,7 @@ bool Z3SolverImpl::validateZ3Model(::Z3_solver &theSol + __attribute__((unused)) + bool successfulEval = + Z3_model_eval(builder->ctx, theModel, constraint, +- /*model_completion=*/Z3_TRUE, &rawEvaluatedExpr); ++ /*model_completion=*/true, &rawEvaluatedExpr); + assert(successfulEval && "Failed to evaluate model"); + + // Use handle to do ref-counting.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202302151727.31FHRrhH061057>