Check for state changes in revert() tests

ethereum · Feb 10, 2017 · 37a518f · 37a518f
1 parent 0c077b4
commit 37a518f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp
@@ -9081,10 +9081,13 @@ BOOST_AUTO_TEST_CASE(revert)
 {
 	char const* sourceCode = R"(
 		contract C {
+			uint public a = 42;
 			function f() {
+				a = 1;
 				revert();
 			}
 			function g() {
+				a = 1;
 				assembly {
 					revert(0, 0)
 				}
@@ -9093,7 +9096,9 @@ BOOST_AUTO_TEST_CASE(revert)
 	)";
 	compileAndRun(sourceCode, 0, "C");
 	BOOST_CHECK(callContractFunction("f()") == encodeArgs());
+	BOOST_CHECK(callContractFunction("a()") == encodeArgs(u256(42)));
 	BOOST_CHECK(callContractFunction("g()") == encodeArgs());
+	BOOST_CHECK(callContractFunction("a()") == encodeArgs(u256(42)));
 }
 
 BOOST_AUTO_TEST_SUITE_END()