From 47cd8964b8617e5c7e93232719224c8334a4c764 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Thu, 9 Mar 2017 17:03:53 +0100
Subject: Require and Assert.

---
 test/libsolidity/SolidityEndToEndTest.cpp | 42 ++++++++++++++++++-------------
 1 file changed, 24 insertions(+), 18 deletions(-)

(limited to 'test/libsolidity')

diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp
index baed3f1e..2a286cea 100644
--- a/test/libsolidity/SolidityEndToEndTest.cpp
+++ b/test/libsolidity/SolidityEndToEndTest.cpp
@@ -9133,24 +9133,30 @@ BOOST_AUTO_TEST_CASE(invalid_instruction)
 	BOOST_CHECK(callContractFunction("f()") == encodeArgs());
 }
 
-//BOOST_AUTO_TEST_CASE(assert)
-//{
-//	char const* sourceCode = R"(
-//		contract C {
-//			function f() {
-//				assert(false);
-//			}
-//			function g(bool val) returns (bool) {
-//				assert(val == true);
-//				return true;
-//			}
-//		}
-//	)";
-//	compileAndRun(sourceCode, 0, "C");
-//	BOOST_CHECK(callContractFunction("f()") == encodeArgs());
-//	BOOST_CHECK(callContractFunction("g(bool)", false) == encodeArgs());
-//	BOOST_CHECK(callContractFunction("g(bool)", true) == encodeArgs(true));
-//}
+BOOST_AUTO_TEST_CASE(assert_require)
+{
+	char const* sourceCode = R"(
+		contract C {
+			function f() {
+				assert(false);
+			}
+			function g(bool val) returns (bool) {
+				assert(val == true);
+				return true;
+			}
+			function h(bool val) returns (bool) {
+				require(val);
+				return true;
+			}
+		}
+	)";
+	compileAndRun(sourceCode, 0, "C");
+	BOOST_CHECK(callContractFunction("f()") == encodeArgs());
+	BOOST_CHECK(callContractFunction("g(bool)", false) == encodeArgs());
+	BOOST_CHECK(callContractFunction("g(bool)", true) == encodeArgs(true));
+	BOOST_CHECK(callContractFunction("h(bool)", false) == encodeArgs());
+	BOOST_CHECK(callContractFunction("h(bool)", true) == encodeArgs(true));
+}
 
 BOOST_AUTO_TEST_CASE(revert)
 {
-- 
cgit