From ef2e272f201b7b069be1bd76e521fe0832ffeaa4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Fri, 1 May 2020 10:22:05 +0200
Subject: [PATCH] Fixed test/bug-hunting/itc.py

---
 test/bug-hunting/itc.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/bug-hunting/itc.py b/test/bug-hunting/itc.py
index 1be09f691..a249687d1 100644
--- a/test/bug-hunting/itc.py
+++ b/test/bug-hunting/itc.py
@@ -52,9 +52,9 @@ def check(filename):
     if RUN_CLANG:
         shutil.rmtree('itc-build-dir')
 
-    w = r'.*zero_division.c:([0-9]+):[0-9]+: error: There is division.*'
+    w = r'.*zero_division.c:([0-9]+):[0-9]+: error:(inconclusive:)? There is division.*'
     if TESTFILE.find('uninit_') > 0:
-        w = r'.*c:([0-9]+):[0-9]+: error: .*verificationUninit.*'
+        w = r'.*c:([0-9]+):[0-9]+: error: .*bughuntingUninit.*'
 
     ret = []
     for line in stderr.split('\n'):