From 9a2adfa6427a422d8f46d40b6817147b0653b7af Mon Sep 17 00:00:00 2001 From: Michael Goldstein Date: Thu, 18 Jul 2024 13:48:44 -0400 Subject: [PATCH] change maximum instruction parameter to 64-bit and max_insts1 default to 50 billion --- def/core.param.def | 4 ++-- def/general.param.def | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/def/core.param.def b/def/core.param.def index 43b544c9..b2ac7628 100644 --- a/def/core.param.def +++ b/def/core.param.def @@ -56,8 +56,8 @@ param param -param -param +param +param param diff --git a/def/general.param.def b/def/general.param.def index ed871749..7000d8d5 100644 --- a/def/general.param.def +++ b/def/general.param.def @@ -42,7 +42,7 @@ param param param -param +param param param