diff options
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)) |