From: Andrew Reynolds Date: Wed, 8 Aug 2018 17:08:20 +0000 (-0500) Subject: Do beta-reduction in expandDefinitions (#2286) X-Git-Tag: cvc5-1.0.0~4800 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c90efa1b1a5dbf1d7c1188787adcfc889640b61e;p=cvc5.git Do beta-reduction in expandDefinitions (#2286) --- diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index ab14904ff..bcb5c58b4 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -2814,13 +2814,29 @@ Node SmtEnginePrivate::expandDefinitions(TNode n, unordered_map