Pass haskell_threads to BoosterServer (#928)

tothtamas28 · web-flow · commit 6abd9694d9e9 · 2026-02-03T00:08:26.000Z
diff --git a/kmir/src/kmir/_prove.py b/kmir/src/kmir/_prove.py
@@ -149,6 +149,7 @@ def _prove_parallel(
             'module_name': kmir.definition.main_module_name,
             'bug_report': kmir.bug_report,
             'simplify_each': 30,
+            'haskell_threads': opts.max_workers,
         }
     ) as server:
 

Original file line number	Diff line number	Diff line change
`@@ -149,6 +149,7 @@ def _prove_parallel(`
`149`	`149`	`'module_name': kmir.definition.main_module_name,`
`150`	`150`	`'bug_report': kmir.bug_report,`
`151`	`151`	`'simplify_each': 30,`
	`152`	`+ 'haskell_threads': opts.max_workers,`
`152`	`153`	`}`
`153`	`154`	`) as server:`
`154`	`155`