From db2614f573bce6e076cf762525452582a468e8bf Mon Sep 17 00:00:00 2001 From: David Harris Date: Mon, 22 Jul 2024 09:19:56 -0700 Subject: [PATCH] Fixed argument name in regression-wally --- bin/regression-wally | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/regression-wally b/bin/regression-wally index 21f30c9c0..5a374b2d9 100755 --- a/bin/regression-wally +++ b/bin/regression-wally @@ -513,7 +513,8 @@ def main(): # Scale the number of concurrent processes to the number of test cases, but # max out at a limited number of concurrent processes to not overwhelm the system - if (args.lockstep or args.fcov): + # right now fcov, ccov, nightly all use Imperas + if (args.ccov or args.fcov or args.nightly): ImperasDVLicenseCount = 8 # limit number of concurrent processes to avoid overloading ImperasDV licenses else: ImperasDVLicenseCount = 10000 # effectively no license limit for non-lockstep tests