From e1704f2b50f30b0db3d2fff065d0829bfc5f8fcd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sun, 28 Jun 2020 08:16:46 +0200 Subject: [PATCH] Bug hunting; fix juliet test cases error id --- test/bug-hunting/juliet.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/bug-hunting/juliet.py b/test/bug-hunting/juliet.py index 67e371524..b0a7a0d2c 100644 --- a/test/bug-hunting/juliet.py +++ b/test/bug-hunting/juliet.py @@ -72,6 +72,6 @@ def check(tc:str, warning_id:str): check('C/testcases/CWE369_Divide_by_Zero/s*/*.c', 'bughuntingDivByZero') -#check('C/testcases/CWE457_Use_of_Uninitialized_Variable/s*/*.c', 'verificationUninit') +#check('C/testcases/CWE457_Use_of_Uninitialized_Variable/s*/*.c', 'bughuntingUninit')