Remove default maintenance_rate at argparse level (#2639)

palinatolmach · web-flow · commit 22bd43350a7c · 2024-10-08T06:50:48.000-06:00
diff --git a/kevm-pyk/src/kevm_pyk/cli.py b/kevm-pyk/src/kevm_pyk/cli.py
@@ -838,7 +838,6 @@ def kprove_args(self) -> ArgumentParser:
         args.add_argument(
             '--maintenance-rate',
             dest='maintenance_rate',
-            default=1,
             type=int,
             help='The number of proof iterations performed between two writes to disk and status bar updates. Note that setting to >1 may result in work being discarded if proof is interrupted.',
         )

Original file line number	Diff line number	Diff line change
`@@ -838,7 +838,6 @@ def kprove_args(self) -> ArgumentParser:`
`838`	`838`	`args.add_argument(`
`839`	`839`	`'--maintenance-rate',`
`840`	`840`	`dest='maintenance_rate',`
`841`		`- default=1,`
`842`	`841`	`type=int,`
`843`	`842`	`help='The number of proof iterations performed between two writes to disk and status bar updates. Note that setting to >1 may result in work being discarded if proof is interrupted.',`
`844`	`843`	`)`