Verify: Update Juliet Testing

This commit is contained in:
Daniel Marjamäki 2019-10-23 16:49:45 +02:00
parent 4d218d1b47
commit e879de6489
1 changed files with 2 additions and 0 deletions

View File

@ -36,6 +36,8 @@ def check(tc:str, warning_id:str):
cmd = [CPPCHECK_PATH, cmd = [CPPCHECK_PATH,
'-I' + os.path.join(JULIET_PATH, 'C/testcasesupport'), '-I' + os.path.join(JULIET_PATH, 'C/testcasesupport'),
'-DOMIT_GOOD', '-DOMIT_GOOD',
'-DAF_INET=1',
'-DINADDR_ANY=1',
'--library=posix', '--library=posix',
'--verify', '--verify',
'--platform=unix64'] '--platform=unix64']