diff options
| author | chriseth <c@ethdev.com> | 2016-07-19 00:16:22 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2016-07-19 00:26:56 +0800 |
| commit | 9a9a815fc9953d820a330fc6ca515e367f4d97aa (patch) | |
| tree | e745b7c4a331d8f297284f2905bdca348e1eff89 /libsolidity/interface/CompilerStack.h | |
| parent | 417fde3eab0f862f7265e6881d4dc4404b37497e (diff) | |
| download | dexon-solidity-9a9a815fc9953d820a330fc6ca515e367f4d97aa.tar.gz dexon-solidity-9a9a815fc9953d820a330fc6ca515e367f4d97aa.tar.zst dexon-solidity-9a9a815fc9953d820a330fc6ca515e367f4d97aa.zip | |
Provide formal version in json output.
Diffstat (limited to 'libsolidity/interface/CompilerStack.h')
| -rw-r--r-- | libsolidity/interface/CompilerStack.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libsolidity/interface/CompilerStack.h b/libsolidity/interface/CompilerStack.h index e111c982..9d2aace4 100644 --- a/libsolidity/interface/CompilerStack.h +++ b/libsolidity/interface/CompilerStack.h @@ -124,8 +124,9 @@ public: void link(std::map<std::string, h160> const& _libraries); /// Tries to translate all source files into a language suitable for formal analysis. + /// @param _errors list to store errors - defaults to the internal error list. /// @returns false on error. - bool prepareFormalAnalysis(); + bool prepareFormalAnalysis(ErrorList* _errors = nullptr); std::string const& formalTranslation() const { return m_formalTranslation; } /// @returns the assembled object for a contract. |