projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bff2975) | patch
Enable print-inst-full by default (#6435)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 26 Apr 2021 14:57:36 +0000 (09:57 -0500)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 14:57:36 +0000 (14:57 +0000)
commit4eb2234bccf033e3758a7fb7309f51f4864cba0a
tree11af6ff5a6cde7992cfda78a2d147a91a8cbd354tree
parentbff297565a91e020c845d2984a3f0f921f887bbacommit | diff
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 diff | blob | history