report all solved in RF/RC

lip6 · Apr 22, 2023 · 8edf3dd · 8edf3dd
1 parent a9fda6a
commit 8edf3dd
Showing 1 changed file with 1 addition 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
@@ -1032,6 +1032,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);