projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbd6697) | patch
Simplify interface for preprocessor (#5890)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 11 Feb 2021 13:17:53 +0000 (07:17 -0600)
committerGitHub <noreply@github.com>
Thu, 11 Feb 2021 13:17:53 +0000 (10:17 -0300)
commitb10e383e5efc92f02c63eaf5eec07479ed385304
tree99fd6c404694241fddd8f97a2c8d6eebd27e2799tree
parentcbd66977993708a89638beccd625cdbdd32eed7fcommit | diff
Simplify interface for preprocessor (#5890)

This does a minor simplification to the interface for preprocessor. It has a postProcess call that is called after another unrelated call at the SmtSolver level (notifyPreprocessedAssertions) is made. This makes it so that Preprocessor::postProcess is inlined as the last step of process.
src/smt/preprocessor.cpp diff | blob | history
src/smt/preprocessor.h diff | blob | history
src/smt/smt_solver.cpp diff | blob | history