From a239522e6dbc7d9144671952ce2f9de336d2e0c9 Mon Sep 17 00:00:00 2001 From: karmacoma Date: Tue, 16 May 2023 08:37:07 -0700 Subject: [PATCH] WIP: experiment with the z3 setting parallel.enable --- src/halmos/__main__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py index f89327c1..6b9678ff 100644 --- a/src/halmos/__main__.py +++ b/src/halmos/__main__.py @@ -479,6 +479,7 @@ def main() -> int: # z3 global options # + set_param("parallel.enable", os.environ.get("PARALLEL_Z3", False)) set_option(max_width=240) set_option(max_lines=100000000) # set_option(max_depth=1000)