From 7d6b01fc7b825c360354c49631d67951479af466 Mon Sep 17 00:00:00 2001
From: Hernan Ponce de Leon <hernanl.leon@huawei.com>
Date: Tue, 14 Nov 2023 18:30:02 +0100
Subject: [PATCH] Log a warning for unrecognized properties

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
---
 svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java b/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java
index 2f8b6daafa..44d1438850 100644
--- a/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java
+++ b/svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java
@@ -29,6 +29,8 @@
 @Options
 public class SVCOMPRunner extends BaseOptions {
 
+    private static final Logger logger = LogManager.getLogger(SVCOMPRunner.class);
+
     private Property property;
     
     @Option(
@@ -96,6 +98,7 @@ public static void main(String[] args) throws Exception {
         config.recursiveInject(r);
 
         if(r.property == null) {
+            logger.warn("Unrecognized property");
             System.out.println("UNKNOWN");
             return;
         }