diff options
| author | Pierre LALET <pierre.lalet@cea.fr> | 2018-12-23 19:26:44 +0100 |
|---|---|---|
| committer | Pierre LALET <pierre.lalet@cea.fr> | 2018-12-23 19:26:44 +0100 |
| commit | 814ccf50314852d12168ad5b8a4a875a86bc6e3d (patch) | |
| tree | e19e9820bb8355730ae9bd0c706e414e39c895ef /example/symbol_exec/dse_strategies.py | |
| parent | 011e1e209b3d00afe3c8e65000209a568c5eb791 (diff) | |
| download | miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.tar.gz miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.zip | |
Fix typos & add codespell
Diffstat (limited to 'example/symbol_exec/dse_strategies.py')
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 67b63aea..b38c797a 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -83,7 +83,7 @@ done = set() snapshot = dse.take_snapshot() # Only needed for the final output -reachs = set() +reaches = set() while todo: # Get the next candidate @@ -122,8 +122,8 @@ while todo: # Display info and update storages print "\tARG = %s" % sol_expr todo.add(sol_expr) - reachs.add(sol_ident) + reaches.add(sol_ident) print "Found %d input, to reach %d element of coverage" % (len(done), - len(reachs)) + len(reaches)) |