From 4eb2234bccf033e3758a7fb7309f51f4864cba0a Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 26 Apr 2021 09:57:36 -0500 Subject: [PATCH] Enable print-inst-full by default (#6435) This makes dump-instantiations print instantiations for all quantified formulas by default, regardless of whether they had an associated identifier. --- src/options/printer_options.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/options/printer_options.toml b/src/options/printer_options.toml index 1f27326a0..d72279f95 100644 --- a/src/options/printer_options.toml +++ b/src/options/printer_options.toml @@ -64,5 +64,5 @@ header = "options/printer_options.h" category = "regular" long = "print-inst-full" type = "bool" - default = "false" + default = "true" help = "print instantiations for formulas that do not have given identifiers" -- 2.30.2