From 365b8f328179da0ceb3545dbafb327bdee0c8b47 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 23 Mar 2022 09:51:06 -0700 Subject: [PATCH] change default to _not_ include auxiliary functions in model as this seems to break fewer' 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 59899644e..730b574ac 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, True, 'include user defined functions in model'), + ('user_functions', BOOL, False, 'include user defined functions in model'), ('completion', BOOL, False, 'enable/disable model completion'), ))