Make getRelationWithName() more general

Signed-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>
hernanponcedeleon · Dec 5, 2024 · d01f7dc · d01f7dc
1 parent 8a10288
commit d01f7dc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
@@ -204,7 +204,8 @@ private Relation getRelationWithName(String name) {
         // First check if the original definition is asked.
         if (name.endsWith("#0")) {
             String originalName = name.substring(0, name.lastIndexOf("#"));
-            return wmm.getRelation(originalName);
+            Relation r = wmm.getRelation(originalName);
+            if (r!=null) { return r; }
         }
 
         int maxId = -1;