From 719b918082e93bcb21d1f975612bceb39dbd6ca6 Mon Sep 17 00:00:00 2001 From: Malte Mues Date: Tue, 10 Nov 2020 15:47:57 +0100 Subject: [PATCH] Update the verdict for the good task --- ...WE369_Divided_by_Zero__float_connect_tcp_divide_81a_good.yml | 2 +- 1 file changed, 1 insertion(+), 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 index a48e58b5f04..708b218bc8a 100644 --- 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