aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/ViewPureChecker.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/libsolidity/ViewPureChecker.cpp')
-rw-r--r--test/libsolidity/ViewPureChecker.cpp10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/libsolidity/ViewPureChecker.cpp b/test/libsolidity/ViewPureChecker.cpp
index 3f02564f..80241519 100644
--- a/test/libsolidity/ViewPureChecker.cpp
+++ b/test/libsolidity/ViewPureChecker.cpp
@@ -143,6 +143,16 @@ BOOST_AUTO_TEST_CASE(environment_access)
}
}
+BOOST_AUTO_TEST_CASE(view_error_for_050)
+{
+ CHECK_ERROR(
+ "pragma experimental \"v0.5.0\"; contract C { uint x; function f() view { x = 2; } }",
+ TypeError,
+ "Function declared as view, but this expression (potentially) modifies the state and thus requires non-payable (the default) or payable."
+ );
+
+}
+
BOOST_AUTO_TEST_CASE(modifiers)
{
string text = R"(