From 54575fb14ec4e7da271dbafe4e491fa472743def Mon Sep 17 00:00:00 2001
From: William Bruneau <william.bruneau@epfedu.fr>
Date: Thu, 20 Jul 2017 13:54:23 +0200
Subject: Remove unecessary assert

---
 example/symbol_exec/dse_crackme.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py
index a2ea1a29..34c39138 100644
--- a/example/symbol_exec/dse_crackme.py
+++ b/example/symbol_exec/dse_crackme.py
@@ -222,7 +222,6 @@ class DSEGenFile(DSEPathConstraint):
 
     def handle_solution(self, model, destination):
         global todo, done
-        assert destination.is_int()
 
         if destination in done:
             # Skip this path, already treated
-- 
cgit 1.4.1