projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa80558) | patch
Remove spurious call to applySubs (#7871)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Jan 2022 19:04:53 +0000 (13:04 -0600)
committerGitHub <noreply@github.com>
Tue, 4 Jan 2022 19:04:53 +0000 (19:04 +0000)
commita21f4e49f0ffac8b3857db9ad0154d7d17209b32
tree5e5986d532028a2ec48ebf9bbd70cedcd919ab6ftree
parentaa805580f35f4906a473d2450bc9f3f5aa9606c3commit | diff
Remove spurious call to applySubs (#7871)

This call is preceded by another call to `apply-subs` at the beginning of preprocessing.

This is motivated by very large input benchmarks from Cetora where this preprocessing pass can take up to 5 seconds.
src/smt/process_assertions.cpp diff | blob | history