From 4cb23547596cfcbcb7948ed0a33930f143334f81 Mon Sep 17 00:00:00 2001
From: alex <agroce@gmail.com>
Date: Fri, 16 Feb 2018 16:26:50 -0800
Subject: [PATCH] Better failure when using Manticore but Z3 is not installed

---
 bin/deepstate/main_manticore.py | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/bin/deepstate/main_manticore.py b/bin/deepstate/main_manticore.py
index b2aa623..18c50cb 100644
--- a/bin/deepstate/main_manticore.py
+++ b/bin/deepstate/main_manticore.py
@@ -17,9 +17,16 @@ import logging
 logging.basicConfig()
 
 import collections
-import manticore
-import multiprocessing
 import sys
+try:
+  import manticore
+except Exception as e:
+  if "Z3NotFoundError" in repr(type(e)):  
+    print "Manticore requires Z3 to be installed."
+    sys.exit(255)
+  else:
+    raise
+import multiprocessing
 import traceback
 from .common import DeepState