Allow FenceBase with empty mo

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
hernanponcedeleon · Sep 19, 2023 · dc5ea4f · dc5ea4f
1 parent 78cdfb9
commit dc5ea4f
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/event/common/FenceBase.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/event/common/FenceBase.java
@@ -2,19 +2,20 @@
 
 import com.dat3m.dartagnan.program.event.Tag;
 import com.dat3m.dartagnan.program.event.core.AbstractEvent;
-import com.google.common.base.Preconditions;
 
 @NoInterface
 public abstract class FenceBase extends AbstractEvent {
 
     protected final String name;
-    protected final String mo; // For fences that do not support a mo, use Fence instead.
+    protected final String mo; // May be NULL or empty for fences that do not support a mo.
 
     public FenceBase(String name, String mo) {
-        Preconditions.checkArgument(!mo.isEmpty());
         this.name = name;
         this.mo = mo;
-        addTags(Tag.VISIBLE, Tag.FENCE, mo);
+        this.addTags(Tag.VISIBLE, Tag.FENCE);
+        if (mo != null && !mo.isEmpty()) {
+            addTags(mo);
+        }
     }
 
     protected FenceBase(FenceBase other) {