diff options
| author | chriseth <c@ethdev.com> | 2015-10-21 22:43:31 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-10-27 07:49:27 +0800 |
| commit | a957322fd7ff87460e5de3b1c5abcfb021acc1b2 (patch) | |
| tree | f5511f27ea048754143753b4e7faa8b85a0b21bd /solc/CommandLineInterface.h | |
| parent | 8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c (diff) | |
| download | dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.gz dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.zst dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.zip | |
Preliminary why3 code output.
Diffstat (limited to 'solc/CommandLineInterface.h')
| -rw-r--r-- | solc/CommandLineInterface.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/solc/CommandLineInterface.h b/solc/CommandLineInterface.h index 1cde2acb..7c7aa4b4 100644 --- a/solc/CommandLineInterface.h +++ b/solc/CommandLineInterface.h @@ -57,9 +57,9 @@ private: void handleOpcode(std::string const& _contract); void handleBytecode(std::string const& _contract); void handleSignatureHashes(std::string const& _contract); - void handleMeta(DocumentationType _type, - std::string const& _contract); + void handleMeta(DocumentationType _type, std::string const& _contract); void handleGasEstimation(std::string const& _contract); + void handleFormal(); /// Tries to read from the file @a _input or interprets _input literally if that fails. /// It then tries to parse the contents and appends to m_libraries. |