From 32233e1bf1b62afd98407e16efb9df1318e6caad Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 23 Mar 2022 12:20:53 -0700 Subject: [PATCH] set default to true to avoid regression failures Signed-off-by: Nikolaj Bjorner --- src/model/model_params.pyg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/model/model_params.pyg b/src/model/model_params.pyg index 730b574ac..59899644e 100644 --- a/src/model/model_params.pyg +++ b/src/model/model_params.pyg @@ -5,7 +5,7 @@ def_module_params('model', ('v2', BOOL, False, 'use Z3 version 2.x (x <= 16) pretty printer'), ('compact', BOOL, True, 'try to compact function graph (i.e., function interpretations that are lookup tables)'), ('inline_def', BOOL, False, 'inline local function definitions ignoring possible expansion'), - ('user_functions', BOOL, False, 'include user defined functions in model'), + ('user_functions', BOOL, True, 'include user defined functions in model'), ('completion', BOOL, False, 'enable/disable model completion'), ))