test for aliasing right from the start.

lip6 · Mar 31, 2024 · 92dc76e · 92dc76e
1 parent c6f92e6
commit 92dc76e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java b/pnmcc/fr.lip6.move.gal.application.pnmcc/src/fr/lip6/move/gal/application/Application.java
@@ -560,7 +560,12 @@ public Object startNoEx(IApplicationContext context) throws Exception {
 
 		// Now load properties from examination
 		reader.loadProperties(examination);
-
+		if (reader.getHLPN() != null) {
+			reader.getHLPN().testAliasing(doneProps);
+		} else if (reader.getSPN() != null){
+			reader.getSPN().testAliasing(doneProps);
+		}
+
 //		if (redForExamination != null) {
 //			if ("StateSpace".equals(examination) || "Liveness".equals(examination) || "QuasiLiveness".equals(examination) || "StableMarking".equals(examination))
 //				reader.createSPN(false, false);