1 files changed, 53 insertions, 0 deletions
diff --git a/tests/assertion_tests.cpp b/tests/assertion_tests.cpp
new file mode 100644
index 0000000..a251200
--- /dev/null
+++ b/tests/assertion_tests.cpp
@@ -0,0 +1,53 @@
+/////////////////////////////////////////////////////////////////////////////// 
+// 
+// Copyright (c) 2015 Microsoft Corporation. All rights reserved. 
+// 
+// This code is licensed under the MIT License (MIT). 
+// 
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 
+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
+// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 
+// THE SOFTWARE. 
+// 
+///////////////////////////////////////////////////////////////////////////////
+
+#include <UnitTest++/UnitTest++.h> 
+#include <gsl/gsl>
+
+using namespace gsl;
+
+SUITE(assertion_tests)
+{
+    int f(int i)
+    {
+        Expects(i > 0 && i < 10);
+        return i;
+    }
+
+    TEST(expects)
+    {
+        CHECK(f(2) == 2);
+        CHECK_THROW(f(10), fail_fast);
+    }
+
+    int g(int i)
+    {        
+        i++;
+        Ensures(i > 0 && i < 10);
+        return i;
+    }
+
+    TEST(ensures)
+    {
+        CHECK(g(2) == 3);
+        CHECK_THROW(g(9), fail_fast);
+    }
+}
+
+int main(int, const char *[])
+{
+    return UnitTest::RunAllTests();
+}