From e26e38b654020289d4165d7745bf27c43e89406b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 26 Jan 2021 14:55:42 -0800 Subject: [PATCH] add error generation for #4977 --- src/api/api_opt.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/api/api_opt.cpp b/src/api/api_opt.cpp index b8cd7ca4e..697dd6e2f 100644 --- a/src/api/api_opt.cpp +++ b/src/api/api_opt.cpp @@ -105,7 +105,8 @@ extern "C" { Z3_TRY; LOG_Z3_optimize_maximize(c, o, t); RESET_ERROR_CODE(); - CHECK_VALID_AST(t,0); + CHECK_VALID_AST(t, 0); + CHECK_IS_EXPR(t, 0); return to_optimize_ptr(o)->add_objective(to_app(t), true); Z3_CATCH_RETURN(0); } @@ -114,7 +115,8 @@ extern "C" { Z3_TRY; LOG_Z3_optimize_minimize(c, o, t); RESET_ERROR_CODE(); - CHECK_VALID_AST(t,0); + CHECK_VALID_AST(t, 0); + CHECK_IS_EXPR(t, 0); return to_optimize_ptr(o)->add_objective(to_app(t), false); Z3_CATCH_RETURN(0); }