From 871c4635848515be1def7b5e6919c55362653fea Mon Sep 17 00:00:00 2001
From: Thomas Pani <thomas.pani@gmail.com>
Date: Tue, 10 Oct 2023 14:28:28 +0200
Subject: [PATCH] Properly override `checker.tuning`

---
 quint/src/cliCommands.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/quint/src/cliCommands.ts b/quint/src/cliCommands.ts
index 4db35941e..792b266b1 100644
--- 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',
       },
     },