Remove empty tag from vulkan litmus tests

hernanponcedeleon · Nov 8, 2024 · cdbd85b · cdbd85b
1 parent f4f299d
commit cdbd85b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/...agnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLitmusVulkan.java b/...agnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLitmusVulkan.java
@@ -392,7 +392,9 @@ public Object visitJump(LitmusVulkanParser.JumpContext ctx) {
 
     private void tagControl(Event e, Boolean atomic, String mo, String avvis, String scope, String storageClass,
                             List<String> storageClassSemantics, List<String> avvisSemantics) {
-        e.addTags(storageClass);
+        if (!storageClass.isEmpty()) {
+            e.addTags(storageClass);
+        }
         e.addTags(storageClassSemantics);
         e.addTags(avvisSemantics);
         if (atomic) {