Skip to content
Snippets Groups Projects
Commit 469ebb34 authored by Simon Schwitanski's avatar Simon Schwitanski :slight_smile:
Browse files

Update MUST coverage script

parent 3c362a49
No related tags found
No related merge requests found
......@@ -90,11 +90,6 @@ class V18(AbstractTool):
def run(self, execcmd, filename, binary, id, number, timeout, batchinfo, loglevel=logging.INFO):
cachefile = f'{binary}_{id}'
base_file = os.path.basename(filename)
# split folder until "level-0" is found
# this is the first folder in the path, which is used as a base for the
# llvm profile file name
# e.g. /path/to/level-0/test.c -> level-0
# e.g. /path/to/level-0/subfolder/test.c -> level-
# Hack for CorrBench execution
if execcmd == "" or execcmd.startswith("-I"):
......@@ -122,12 +117,13 @@ class V18(AbstractTool):
current_env['PMIX_MCA_gds'] = "hash"
if self.must_arguments and '--must:tsan' in self.must_arguments:
tsan_flag = "-fsanitize=thread"
buildcmd = f"mpicc -fsanitize=thread -g {compile_flags} {filename} -o {tmpdirname}/{binary}"
else:
tsan_flag = ""
current_env['TYPEART_TYPES'] = f"{tmpdirname}/{binary}.yaml"
buildcmd = f"TYPEART_TYPES={tmpdirname}/{binary}.yaml typeart-mpicc -g -fPIC {compile_flags} {filename} -o {tmpdirname}/{binary}"
ran = self.run_cmd(
buildcmd=f"typeart-mpicc -g -fPIC {tsan_flag} {compile_flags} -fprofile-instr-generate -fcoverage-mapping {filename} -o {tmpdirname}/{binary}",
buildcmd=buildcmd,
execcmd=execcmd,
cachefile=cachefile,
filename=filename,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment