Merge pull request #959 from davidharrishmc/dev

Improved robustness of reporting errors from regression; add RV32Zca coverage
This commit is contained in:
Jordan Carlin 2024-09-22 20:31:51 -07:00 committed by GitHub
commit ba6481305f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions

View File

@ -325,9 +325,9 @@ def addLockstepTestsByDir(dir, config, sim, fcovMode):
def search_log_for_text(text, grepfile): def search_log_for_text(text, grepfile):
"""Search through the given log file for text, returning True if it is found or False if it is not""" """Search through the given log file for text, returning True if it is found or False if it is not"""
grepwarn = "grep -H Warning: " + grepfile grepwarn = "grep -i -H Warning: " + grepfile
os.system(grepwarn) os.system(grepwarn)
greperr = "grep -H Error: " + grepfile greperr = "grep -i -H Error: " + grepfile
os.system(greperr) os.system(greperr)
grepcmd = "grep -a -e '%s' '%s' > /dev/null" % (text, grepfile) grepcmd = "grep -a -e '%s' '%s' > /dev/null" % (text, grepfile)
# print(" search_log_for_text invoking %s" % grepcmd) # print(" search_log_for_text invoking %s" % grepcmd)

View File

@ -9,3 +9,4 @@
`include "RV32M_coverage.svh" `include "RV32M_coverage.svh"
`include "RV32F_coverage.svh" `include "RV32F_coverage.svh"
`include "RV32Zicond_coverage.svh" `include "RV32Zicond_coverage.svh"
`include "RV32Zca_coverage.svh"