From 24fd67b7db26f44ddc6b6db0b6f685d887762df0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 14 Sep 2017 17:53:43 +0200 Subject: Enforce view with error for experimental 0.5.0. --- test/libsolidity/ViewPureChecker.cpp | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'test') diff --git a/test/libsolidity/ViewPureChecker.cpp b/test/libsolidity/ViewPureChecker.cpp index 9cea9850..cdb752cd 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"( -- cgit