Merge pull request #1112 from jordancarlin/fcov_makefile

Update regression-wally for new cvw-arch-verif makefile
This commit is contained in:
David Harris 2024-11-17 06:29:26 -08:00 committed by GitHub
commit 0875772094
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -556,7 +556,7 @@ def main():
if args.ccov:
os.system('make QuestaCodeCoverage')
if args.fcov:
os.system('make -f '+WALLY+'/addins/cvw-arch-verif/Makefile merge')
os.system('make -C '+WALLY+'/addins/cvw-arch-verif merge')
# Count the number of failures
if num_fail:
print(f"{bcolors.FAIL}Regression failed with %s failed configurations{bcolors.ENDC}" % num_fail)