Merge branch 'master' of https://github.com/lip6/ITSTools.git

lip6 · Apr 25, 2023 · 2e08428 · 2e08428
2 parents 61f8753 + 4f3a703
commit 2e08428
Showing 1 changed file with 2 additions and 0 deletions.
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
@@ -671,6 +671,7 @@ public Object startNoEx(IApplicationContext context) throws Exception {
 				int solved = logicSolver.preSolveForLogic(reader, doneProps, false);
 				if (solved > 0) {
 					if (reader.getSPN().getProperties().isEmpty()) {
+						allSolved(pwd,examination);
 						return null;
 					}
 				}
@@ -1036,6 +1037,7 @@ public Object startNoEx(IApplicationContext context) throws Exception {
 			if (doneProps.keySet().containsAll(
 					reader.getSPN().getProperties().stream().map(p -> p.getName()).collect(Collectors.toList()))) {
 				System.out.println("All properties solved without resorting to model-checking.");
+				allSolved(pwd,examination);
 				return null;
 			} else
 				tryRebuildPNML(pwd, examination, rebuildPNML, reader, doneProps);