walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

ExprEngine: Adjust the command line in test/verify/juliet.py

This commit is contained in:
Daniel Marjamäki 2019-09-28 12:10:01 +02:00
parent 4540846325
commit ec7c774a10
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/verify/juliet.py
View File

@ -30,7 +30,7 @@ num_failed = 0
for f in get_files(JULIET_PATH):
inc = '-I' + os.path.join(JULIET_PATH, 'C/testcasesupport')
cmd = f'{CPPCHECK_PATH} {inc} --verify --platform=unix64 ' + ' '.join(glob.glob(f))
cmd = f'{CPPCHECK_PATH} {inc} -DOMIT_GOOD --library=posix --verify --platform=unix64 ' + ' '.join(glob.glob(f))
p = subprocess.Popen(cmd.split(), stdout=subprocess.PIPE, stderr=subprocess.PIPE)
comm = p.communicate()
stdout = comm[0].decode(encoding='utf-8', errors='ignore')