diff options
| author | William Bruneau <william.bruneau@epfedu.fr> | 2017-10-09 14:32:10 +0200 |
|---|---|---|
| committer | William Bruneau <william.bruneau@epfedu.fr> | 2018-03-12 10:36:52 +0100 |
| commit | c446bdf327ae279b18596c750db45d93618f7269 (patch) | |
| tree | c5acb70fcfd6da45ad458d4763c7097f4d0b7d02 /example/expression/solve_condition_stp.py | |
| parent | 09d29b690cebfab06cb0b6cc0d0a615f9eb01227 (diff) | |
| download | miasm-c446bdf327ae279b18596c750db45d93618f7269.tar.gz miasm-c446bdf327ae279b18596c750db45d93618f7269.zip | |
Do not use current address to compute path for the new solution
When using path coverage strategy we do not want to include the current address in the path that will be reached by the new solution. Indeed, 'destination' is the address that we could have reached instead of the current address using the new solution.
Diffstat (limited to 'example/expression/solve_condition_stp.py')
0 files changed, 0 insertions, 0 deletions