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

Add tests

Browse Source
This commit is contained in:
hrkrshnn 2021-01-27 19:42:25 +01:00
parent acfcff1628
commit 2dffafcf7c
2 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libsmtutil/Z3Interface.cpp
View File

@ -96,6 +96,7 @@ void Z3Interface::addAssertion(Expression const& _expr)
pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _expressionsToEvaluate) pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _expressionsToEvaluate)
{ {
std::cout << m_solver << std::endl;
CheckResult result; CheckResult result;
vector<string> values; vector<string> values;
try try

14
test/libyul/YulOptimizerTest.cpp
View File

@ -437,16 +437,16 @@ TestCase::TestResult YulOptimizerTest::run(ostream& _stream, string const& _line
else if (m_optimizerStep == "memoryLoadResolver") else if (m_optimizerStep == "memoryLoadResolver")
{ {
disambiguate(); disambiguate();
ForLoopInitRewriter::run(*m_context, *m_object->code); // ForLoopInitRewriter::run(*m_context, *m_object->code);
ExpressionSplitter::run(*m_context, *m_object->code); // ExpressionSplitter::run(*m_context, *m_object->code);
SSATransform::run(*m_context, *m_object->code); // SSATransform::run(*m_context, *m_object->code);
MemoryLoadResolver::run(*m_context, *m_object->code); MemoryLoadResolver::run(*m_context, *m_object->code);
// Cleanup // // Cleanup
UnusedPruner::run(*m_context, *m_object->code); // UnusedPruner::run(*m_context, *m_object->code);
ExpressionJoiner::run(*m_context, *m_object->code); // ExpressionJoiner::run(*m_context, *m_object->code);
ExpressionJoiner::run(*m_context, *m_object->code); // ExpressionJoiner::run(*m_context, *m_object->code);
} }
else else
{ {