Properly override checker.tuning

informalsystems · Oct 10, 2023 · 871c463 · 871c463
1 parent e693293
commit 871c463
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/quint/src/cliCommands.ts b/quint/src/cliCommands.ts
@@ -641,6 +641,7 @@ export async function verifySpec(prev: TypecheckedStage): Promise<CLIProcedure<V
       inv: args.invariant ? ['q::inv'] : undefined,
       'temporal-props': args.temporal ? ['q::temporalProps'] : undefined,
       tuning: {
+        ...(loadedConfig.checker?.tuning ?? {}),
         'search.simulation': args.randomTransitions ? 'true' : 'false',
       },
     },