cerc-io/solidity
16
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:
chriseth 2016-11-15 09:16:33 +01:00
parent dad33f80dd
commit dce80911e1
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test/libsolidity/InlineAssembly.cpp
View File

@ -41,7 +41,7 @@ namespace test
namespace namespace
{ {
bool successParse(std::string const& _source, bool _assemble = false) bool successParse(std::string const& _source, bool _assemble = false, bool _allowWarnings = true)
{ {
assembly::InlineAssemblyStack stack; assembly::InlineAssemblyStack stack;
try try
@ -51,7 +51,8 @@ bool successParse(std::string const& _source, bool _assemble = false)
if (_assemble) if (_assemble)
{ {
stack.assemble(); stack.assemble();
if (!stack.errors().empty() && !Error::containsOnlyWarnings(stack.errors())) if (!stack.errors().empty())
if (!_allowWarnings || !Error::containsOnlyWarnings(stack.errors()))
return false; return false;
} }
} }
@ -67,9 +68,9 @@ bool successParse(std::string const& _source, bool _assemble = false)
return true; return true;
} }
bool successAssemble(string const& _source) bool successAssemble(string const& _source, bool _allowWarnings = true)
{ {
return successParse(_source, true); return successParse(_source, true, _allowWarnings);
} }
} }
@ -169,6 +170,13 @@ BOOST_AUTO_TEST_CASE(magic_variables)
BOOST_CHECK(successAssemble("{ let ecrecover := 1 ecrecover }")); BOOST_CHECK(successAssemble("{ let ecrecover := 1 ecrecover }"));
} }
BOOST_AUTO_TEST_CASE(imbalanced_stack)
{
BOOST_CHECK(successAssemble("{ 1 2 mul pop }", false));
BOOST_CHECK(!successAssemble("{ 1 }", false));
BOOST_CHECK(successAssemble("{ let x := 4 7 add }", false));
}
BOOST_AUTO_TEST_SUITE_END() BOOST_AUTO_TEST_SUITE_END()
} }