diff options
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 1 |
1 files changed, 0 insertions, 1 deletions
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 |