From e879de64891f391d6e02d0e09615d90389216c0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 23 Oct 2019 16:49:45 +0200
Subject: [PATCH] Verify: Update Juliet Testing

---
 test/verify/juliet.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/verify/juliet.py b/test/verify/juliet.py
index 3847fcd17..7615255a9 100644
--- a/test/verify/juliet.py
+++ b/test/verify/juliet.py
@@ -36,6 +36,8 @@ def check(tc:str, warning_id:str):
         cmd = [CPPCHECK_PATH,
                '-I' + os.path.join(JULIET_PATH, 'C/testcasesupport'),
                '-DOMIT_GOOD',
+               '-DAF_INET=1',
+               '-DINADDR_ANY=1',
                '--library=posix',
                '--verify',
                '--platform=unix64']