Merge pull request sosy-lab#1219 from mmuesly/juliet-java

Update the verdict for the good task
sim642 · Nov 11, 2020 · b713275 · b713275
2 parents 79b58c6 + 719b918
commit b713275
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/java/juliet-java/CWE369_Divided_by_Zero__float_connect_tcp_divide_81a_good.yml b/java/juliet-java/CWE369_Divided_by_Zero__float_connect_tcp_divide_81a_good.yml
@@ -5,7 +5,7 @@ input_files:
   - CWE369_Divide_by_Zero__float_connect_tcp_divide_81a_good/
 properties:
   - property_file: ../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
 
 options:
   language: Java