DSE: update example to use compute_solution

1 files changed, 5 insertions, 5 deletions

diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py
index 34c39138..0b63f890 100644
--- a/example/symbol_exec/dse_crackme.py
+++ b/example/symbol_exec/dse_crackme.py
@@ -216,17 +216,17 @@ class DSEGenFile(DSEPathConstraint):
     """DSE with a specific solution creation:
     The solution is the content of the FILE to be read
 
-    The politics of exploration is the branch coverage: create a solution only
+    The politics of exploration is the code coverage: create a solution only
     if the target address has never been seen
     """
 
+    def compute_solution(self, destination):
+        # Skip this destination, already treated
+        return destination not in done
+
     def handle_solution(self, model, destination):
         global todo, done
 
-        if destination in done:
-            # Skip this path, already treated
-            return
-
         finfo = FILE_to_info_symb[FILE_stream]
 
         # Build corresponding file