diff options
| author | William Bruneau <william.bruneau@epfedu.fr> | 2017-07-20 13:54:23 +0200 |
|---|---|---|
| committer | William Bruneau <william.bruneau@epfedu.fr> | 2017-07-20 13:54:23 +0200 |
| commit | 54575fb14ec4e7da271dbafe4e491fa472743def (patch) | |
| tree | 3621df7c66780b96e6b945d2de699d6fef959e30 /example/symbol_exec | |
| parent | 28abdbf0afb94604498b8ad7da9412110de02960 (diff) | |
| download | miasm-54575fb14ec4e7da271dbafe4e491fa472743def.tar.gz miasm-54575fb14ec4e7da271dbafe4e491fa472743def.zip | |
Remove unecessary assert
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 |