From 19f4554145ed709fcfd199573e1a1c85ee5ecf73 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 26 Sep 2013 08:32:52 -0700
Subject: [PATCH] test(exception): add tests for improving coverage

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/exception.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/tests/util/exception.cpp b/src/tests/util/exception.cpp
index b8d8e4c73..5b9b90b81 100644
--- a/src/tests/util/exception.cpp
+++ b/src/tests/util/exception.cpp
@@ -34,9 +34,18 @@ static void tst3() {
     }
 }
 
+static void tst4() {
+    try {
+        throw interrupted();
+    } catch (exception & ex) {
+        lean_assert(std::string("interrupted") == ex.what());
+    }
+}
+
 int main() {
     tst1();
     tst2();
     tst3();
+    tst4();
     return has_violations() ? 1 : 0;
 }