From 0cf8d022ae7d2e2da347347fdc76ba9529149c35 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Wed, 18 Nov 2015 17:12:39 +0100
Subject: Addmod and mulmod.

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

(limited to 'test/libsolidity/SolidityEndToEndTest.cpp')

diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp
index 81543356..21917627 100644
--- a/test/libsolidity/SolidityEndToEndTest.cpp
+++ b/test/libsolidity/SolidityEndToEndTest.cpp
@@ -5831,6 +5831,24 @@ BOOST_AUTO_TEST_CASE(memory_overwrite)
 	BOOST_CHECK(callContractFunction("f()") == encodeDyn(string("b23a5")));
 }
 
+BOOST_AUTO_TEST_CASE(addmod_mulmod)
+{
+	char const* sourceCode = R"(
+		contract C {
+			function test() returns (uint) {
+				// Note that this only works because computation on literals is done using
+				// unbounded integers.
+				if ((2**255 + 2**255) % 7 != addmod(2**255, 2**255, 7))
+					return 1;
+				if ((2**255 + 2**255) % 7 != addmod(2**255, 2**255, 7))
+					return 2;
+				return 0;
+			}
+		}
+	)";
+	compileAndRun(sourceCode);
+	BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(0)));
+}
 BOOST_AUTO_TEST_SUITE_END()
 
 }
-- 
cgit