Update coverage properties again

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_01_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_01_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_02_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_02_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_03_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_03_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_04_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_04_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_05_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_05_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_06_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_06_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_07_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_07_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_08_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_08_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_09_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_09_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_10_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_10_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_11_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_11_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_12_bad.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_12_bad.i
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: false
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_12_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_12_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_13_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_13_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_14_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_14_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_15_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_15_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_16_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_16_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_17_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_17_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_18_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_18_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_21_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_21_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_22_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_22_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_31_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_31_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_32_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_32_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_34_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_34_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_41_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_41_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_42_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_42_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_44_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_44_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_45_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_45_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_51_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_51_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_52_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_52_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_53_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_53_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_54_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_54_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_61_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_61_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_63_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_63_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_64_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_64_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_65_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_65_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_66_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_66_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_67_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_67_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_68_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_calloc_68_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_01_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_01_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_02_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_02_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_03_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_03_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_04_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_04_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_05_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_05_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_06_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_06_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_07_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_07_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_08_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_08_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_09_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_09_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_10_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_10_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C

c/Juliet_Test/CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_11_good.yml

@@ -5,6 +5,7 @@ input_files: 'CWE401_Memory_Leak---s01---CWE401_Memory_Leak__int_malloc_11_good.
 properties:
   - property_file: ../properties/valid-memsafety.prp
     expected_verdict: true
+  - property_file: ../properties/coverage-branches.prp
 
 options:
   language: C