diff options
| author | William Bruneau <william.bruneau@epfedu.fr> | 2017-11-06 09:06:38 +0100 |
|---|---|---|
| committer | William Bruneau <william.bruneau@epfedu.fr> | 2018-03-12 10:36:52 +0100 |
| commit | bdea996affba643636aad922d85b63981a72cbd0 (patch) | |
| tree | 51e52fbe8d073571c2766f451d597976ae50db2a | |
| parent | 76edc6ab9708f07d6423c1eb10e626dfa09faab4 (diff) | |
| download | miasm-bdea996affba643636aad922d85b63981a72cbd0.tar.gz miasm-bdea996affba643636aad922d85b63981a72cbd0.zip | |
Fix according to @p-l- comment
| -rw-r--r-- | miasm2/analysis/dse.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/miasm2/analysis/dse.py b/miasm2/analysis/dse.py index d0f71b5d..c9b27078 100644 --- a/miasm2/analysis/dse.py +++ b/miasm2/analysis/dse.py @@ -496,7 +496,7 @@ class DSEPathConstraint(DSEEngine): snap["cur_constraints"] = self.cur_solver.assertions() if self._produce_solution_strategy == self.PRODUCE_SOLUTION_PATH_COV: snap["_history"] = list(self._history) - if self._produce_solution_strategy == self.PRODUCE_SOLUTION_BRANCH_COV: + elif self._produce_solution_strategy == self.PRODUCE_SOLUTION_BRANCH_COV: snap["_previous_addr"] = self._previous_addr return snap @@ -514,7 +514,7 @@ class DSEPathConstraint(DSEEngine): self._known_solutions.clear() if self._produce_solution_strategy == self.PRODUCE_SOLUTION_PATH_COV: self._history = list(snapshot["_history"]) - if self._produce_solution_strategy == self.PRODUCE_SOLUTION_BRANCH_COV: + elif self._produce_solution_strategy == self.PRODUCE_SOLUTION_BRANCH_COV: self._previous_addr = snapshot["_previous_addr"] def _key_for_solution_strategy(self, destination): |