[chore] New script options

scripts/kleef

@@ -86,8 +86,9 @@ def klee_options(
 
     if f_cov:
         cmd += [
+            "--mem-trigger-cof", # Start on the fly tests generation after approaching memory cup
             "--use-alpha-equivalence=true",
-            "--track-coverage=branches",
+            "--track-coverage=all", # Only branches and only instructions are wrong in real life. E.g., ternary operators are sometimes counted as different branches, while we stick to look at them as a single instruction from a single branch
             "--use-iterative-deepening-search=max-cycles",
             f"--max-solver-time={MAX_SOLVER_TIME}s",
             # "--tc-type=cov",