projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59d8647) | patch
Pass symbol manager to commands (#5410)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 11 Nov 2020 13:44:25 +0000 (07:44 -0600)
committerGitHub <noreply@github.com>
Wed, 11 Nov 2020 13:44:25 +0000 (07:44 -0600)
commitc28f040e3b8c4aba150a61f0e42b1da7376b350e
tree8fe4bef06a9a88379ed3427caf51e91d49f8bf1ftree
parent59d8647b04f86421949390a3e958ffdf0df07665commit | diff
Pass symbol manager to commands (#5410)

This PR passes the symbol manager to Command::invoke.

There are no behavior changes in this PR. This is in preparation for reimplementing several features in the parser related to symbols.
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/smt/command.cpp diff | blob | history
src/smt/command.h diff | blob | history
test/api/smt2_compliance.cpp diff | blob | history