src/HOL/Tools/etc/options

   -- "default timeout for Mirabelle actions"
 
 option mirabelle_stride : int = 1
   -- "default stride for running Mirabelle actions on every nth goal"
 
-option mirabelle_max_calls : int = 10000000
-  -- "default max. no. of calls to each Mirabelle action"
+option mirabelle_max_calls : int = 0
+  -- "default max. no. of calls to each Mirabelle action (0: unbounded)"
 
 option mirabelle_actions : string = ""
   -- "Mirabelle actions (outer syntax, separated by semicolons)"
 
 option mirabelle_theories : string = ""