projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c23b18) | patch
[Rewriter] Do not attempt to rewrite constants (#8061)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 23 Feb 2022 16:23:54 +0000 (08:23 -0800)
committerGitHub <noreply@github.com>
Wed, 23 Feb 2022 16:23:54 +0000 (16:23 +0000)
commitf41e705bcc7313664dc49ee8c0640457077bdc02
treee93beb6eae7c29f45951f6d3de8e805357d2fc84tree
parent3c23b18236556dc5ed5101cdc588c1c942ae4ed3commit | diff
[Rewriter] Do not attempt to rewrite constants (#8061)

This commit changes our rewriter policy to not attempt to rewrite nodes
with no children.
src/theory/rewriter.cpp diff | blob | history