From 47970234eea72481ba1fc4e24fcaebe1c8fd1fd1 Mon Sep 17 00:00:00 2001
From: Martin Spiessl <git@2t7.de>
Date: Wed, 26 May 2021 12:56:27 +0200
Subject: [PATCH] Remove property for task with undefined behavior

This task contains an overflow, so stating the termination
property makes no sense, especially since no verdict is given.
---
 c/termination-crafted/Collatz.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/c/termination-crafted/Collatz.yml b/c/termination-crafted/Collatz.yml
index dd6f3a69d02..ea95500599f 100644
--- a/c/termination-crafted/Collatz.yml
+++ b/c/termination-crafted/Collatz.yml
@@ -6,7 +6,6 @@ input_files: 'Collatz.c'
 properties:
   - property_file: ../properties/no-overflow.prp
     expected_verdict: false
-  - property_file: ../properties/termination.prp
 
 options:
   language: C