cerc-io/solidity
11
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

Add CHCSmtLib2Interface

Browse Source
This commit is contained in:
Leonardo Alt
2019-11-07 11:12:11 +01:00
parent 37c6ab4c38
commit 6b10efff8c
18 changed files with 316 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/CVC4Interface.h
+1 -1
View File
@@ -50,7 +50,7 @@ public:
void push() override;
void pop() override;
void declareVariable(std::string const&, Sort const&) override;
void declareVariable(std::string const&, SortPointer const&) override;
void addAssertion(Expression const& _expr) override;
std::pair<CheckResult, std::vector<std::string>> check(std::vector<Expression> const& _expressionsToEvaluate) override;