Log a warning for unrecognized properties

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 14, 2023 · 7d6b01f · 7d6b01f
1 parent 2261615
commit 7d6b01f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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;
         }