cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Enable setting compiler callback after construction

Browse Source 
This is a preparation for upcoming change in SMTChecker that will
interact with the solvers solely using smtlib interface, i.e., using the
callback for issuing queries to the solvers and reading back the answers.

That change will require using compiler with the SMT callback in SMTChecker
tests. Since the class SMTCheckerTest currently cannot influece how the
compiler object is constructed, it needs a way to set the callback after
construction.
This commit is contained in:
Martin Blicha 2023-08-02 22:16:05 +02:00
parent ead0615ca3
commit 665aa850a7
2 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
libsolidity/interface/CompilerStack.cpp
View File

@ -247,6 +247,13 @@ void CompilerStack::setModelCheckerSettings(ModelCheckerSettings _settings)
m_modelCheckerSettings = _settings;
}
void CompilerStack::setCallback(ReadCallback::Callback _callback)
{
if (m_stackState >= ParsedAndImported)
solThrow(CompilerError, "Must set callback before parsing.");
m_readFile = std::move(_callback);
}
void CompilerStack::setLibraries(map<string, util::h160> const& _libraries)
{
if (m_stackState >= ParsedAndImported)

4
libsolidity/interface/CompilerStack.h
View File

@ -197,6 +197,10 @@ public:
m_requestedContractNames = _contractNames;
}
/// Sets callback for reading from files or interactinng with SMT solvers.
/// Must be set before parsing.
void setCallback(ReadCallback::Callback _callback);
/// Enable EVM Bytecode generation. This is enabled by default.
void enableEvmBytecodeGeneration(bool _enable = true) { m_generateEvmBytecode = _enable; }