From 833ef4af2f2b25a009aac7cc102e8c86c7a26cee Mon Sep 17 00:00:00 2001
From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com>
Date: Fri, 15 Dec 2017 18:57:02 -0300
Subject: [PATCH] fix for #608 using a local definition (#644)

---
 manticore/platforms/decree.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/manticore/platforms/decree.py b/manticore/platforms/decree.py
index cc11ea5..6c1dec7 100644
--- a/manticore/platforms/decree.py
+++ b/manticore/platforms/decree.py
@@ -20,6 +20,9 @@ logger = logging.getLogger(__name__)
 class RestartSyscall(Exception):
     pass
 
+class Deadlock(Exception):
+    pass
+
 class SymbolicSyscallArgument(ConcretizeRegister):
     def __init__(self, cpu, number, message='Concretizing syscall argument', policy='SAMPLED'):
         reg_name = ['EBX', 'ECX', 'EDX', 'ESI', 'EDI', 'EBP' ][number]