From b46b827c30584968c6815b456b8c0c775c35ae48 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Thu, 18 Oct 2018 15:03:52 +0200
Subject: [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash

---
 test/libsolidity/smtCheckerTests/special/msg_sender_1.sol | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 test/libsolidity/smtCheckerTests/special/msg_sender_1.sol

(limited to 'test/libsolidity/smtCheckerTests/special/msg_sender_1.sol')

diff --git a/test/libsolidity/smtCheckerTests/special/msg_sender_1.sol b/test/libsolidity/smtCheckerTests/special/msg_sender_1.sol
new file mode 100644
index 00000000..dd2366e2
--- /dev/null
+++ b/test/libsolidity/smtCheckerTests/special/msg_sender_1.sol
@@ -0,0 +1,10 @@
+pragma experimental SMTChecker;
+
+contract C
+{
+	function f() public view {
+		address a = msg.sender;
+		address b = msg.sender;
+		assert(a == b);
+	}
+}
-- 
cgit